我知道它是 $O(n^{\frac 1 4})$ 的。

但是这只是级别而已——比如 $n=9$ 时最小原根是 $2$，但 $\sqrt {\sqrt n}$ 小于 $2$。它的上界到底确切是多少呢？