(en) Pierre Dusart, « The kth prime is greater than k(ln k + ln ln k-1) for k≥2 », Mathematics of Computation, vol. 68, , p. 411–415 (lire en ligne) ; l'encadrement est valable pour n > 4 avec la convention et en fait, cet article donne des bornes un peu plus précises, mais valables seulement pour n assez grand : on a (pour n > 40000) pour le cent millième nombre premier, , cela correspond à l'encadrement .
Boklan et Conway ont publié en mai 2016 une analyse très fine estimant la probabilité d'un autre nombre premier à moins d'un sur un milliard ((en) Boklan et Conway, « Expect at most one billionth of a new Fermat Prime! », Mathematical Intelligencer., Springer, (arXiv1605.01371v1)).
(en) Steven R. Finch, Mathematical Constants, vol. II, Cambridge University Press, (lire en ligne), p. 171.
doi.org
dx.doi.org
Matiiassevitch a montré en 1999 qu'on peut ramener tout polynôme codant ainsi une relation diophantienne à un polynôme en 9 variables, mais au prix, dans cet exemple, d'un degré dépassant 1045. Inversement, on a déterminé un polynôme de degré 4, mais à 56 variables ; voir à ce sujet (en) James P. Jones, « Universal diophantine equation », J. Symb. Logic, vol. 47, no 3, , p. 549–571 (DOI10.2307/2273588).