没错还是我，我发现王元并没有证明

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

他只是证明了 $m$ 为素数时，$m$ 的最小原根是 $O(m^{0.25+s})$ 的。

但是这一题的 $m$ 不是一定是素数的。

所以几乎所有题解在时间复杂度上都是错的。

所以这一题的最优时间复杂度是 $O(n\log n\log \log n)$。