On Grosswald's conjecture on primitive roots
Grosswald’s conjecture is that g(p), the least primitive root modulo p, satisfies g(p) ≤ √p - 2 for all p > 409. We make progress towards this conjecture by proving that g(p) ≤ √p -2 for all and for all .