Pillai's lower bound on the least primitive root
History
This result was established by S. Pilai in 1944.
Statement
There are infinitely many prime numbers for which the least primitive root modulo is greater than the double logarithm .
Another way of putting this is in terms of a limit superior:
where is the least primitive root modulo .