The least primitive root g(p)g(p) modulo a prime pp is conjectured by Grosswald to satisfy g(p)<p−2g(p)<p−2 for any p>409p>409. We make progress towards the conjecture by proving g(p)<p−2g(p)<p−2 when p>1.77×1054p>1.77×1054.
生成讲解博客的中文版本
生成AI智能校验的中文版本