|
In other words, let f(n) = g.c.d. (n^17 + 9, (n+1)^17 + 9). Then f(n) = 1 for all n <= 8424432925592889329288197322308900672459420460792432, but f(8424432925592889329288197322308900672459420460792433) > 1.
In fact f(8424432925592889329288197322308900672459420460792433) = 8936582237915716659950962253358945635793453256935559.
|