王元于 $1959$ 年证明了若 $m$ 有原根，其最小原根是不多于 $m^{0.25}$ 级别的

然而，$4$ 的最小原根是 $3$。
请问上述定理是指的是在多少以后严格小于 $m^{0.25}$ 还是说是 $O(m^{0.25})$ 的。