A mon avis pour montrer ça il faut montrer ça par une contre-proposition c'est a dire :qu'il faut montrer qu'il existe un et un seul nombre entier naturel non nul "k" telque k²+1 ne possede pas un diviseur premier inferieur ou egale a 2k+sqrt(2k):
pour montrer ça on prends k=1:
donc on a k²+1=2 et on a 2k+sqrt(2k)=3,414...
et puisque 2<2k+sqrt(2k) et 2 un nombre premier et puis 2\2
(c-à-d 2\k²+1) alors la contre propostion et verifiée...
(( c'est la dem. par la logique))..