MathLabs

Problem 3

Prove that there are infinitely many positive integers nn such that n2+1n^2+1 has a prime factor greater than 2n+2n2n+\sqrt{2n}.
Step 5 of 6: Set n = p - x: the bound and the divisibility both hold
n=p−x≤12(p−h),p∣n2+1n=p-x \le \tfrac12(p-h),\quad p\mid n^2+1
Detailed analysis

Set n=p−xn=p-x; since 0<x<p0<x<p, nn is a positive integer. From x≥p+h2x\ge\frac{p+h}2 we get n=p−x≤p−p+h2=p−h2n=p-x\le p-\frac{p+h}2=\frac{p-h}2, the bound needed in Step 1. Also n≡−x(modp)n\equiv-x\pmod p, so n2≡x2≡−1(modp)n^2\equiv x^2\equiv-1\pmod p, i.e.\ p∣n2+1p\mid n^2+1.