又一个巨大的数学反例

反例:
Let f(n) = GCD(n^17+9, (n+1)^17+9), then f(n) = 1 for all n < = 8424432925592889329288197322308900672459420460792432 but f(8424432925592889329288197322308900672459420460792433) = 8936582237915716659950962253358945635793453256935559 > 1