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

 

Exemple:

 

echo %@prime[13798225]

13798247