@PRIME[n] : Renvoie le premier nombre premier >= n (un entier de 64 bits).

 

Exemple:

 

écho %@prime[13798225]

13798247