On Grosswald's conjecture on primitive roots

Stephen D. Cohen, Tomás Oliveira e Silva, Tim Trudgian

Grosswald's conjecture is that $g(p)$, the least primitive root modulo $p$, satisfies $g(p)\le \sqrt{p}-2$ for all $p>409$. We make progress towards this conjecture by proving…