Fissato un intero n > 1, si provi che esistono infiniti primi razionali p tali che i) la più piccola radice primitiva mod p sia maggiore di n; ii) il più piccolo intero r > 1 tale che r sia un residuo quadratico mod p sia maggiore di n; iii) le condizioni i) e ii) siano simultaneamente soddisfatte.
Nota: owiamente iii) ==> i) & ii), per cui... fate un po' vobis!