prevprime(n) désigne le premier nombre pseudo-premier (ou premier) trouvé avant n. On tape :
On obtient :