Primitive-root primes
The quantity is the power in the lower bound for primitive-root primes in , for the same admissible integer base . A lower power is better.
These results are Claimed: their authors published them, and we have not checked them.
| Bound | Evidence level | Author | Date | Proof scope |
|---|---|---|---|---|
| Claimed | Proof scopeNo Lean proof is supplied. |
Relevant repos
- Rogerhu12/openai-math-extensions: The Hecke-character extension changes the target.