The first quadratic nonresidue mod of a number is always less than .
See also Riemann Hypothesis
References
Bach, E. Analytic Methods in the Analysis and Design of Number-Theoretic Algorithms. Cambridge, MA: MIT Press, 1985.
Wagon, S. Mathematica in Action. New York: W. H. Freeman, p. 295, 1991.