Comando PrimoPrec

PrimoPrec(Numero)

Restituisce il maggiore tra i numeri primi minori del numero dato.

PrimoPrec(10000) restituisce 9973.

Vedere anche il comando PrimoSucc.