rt 我只能优化到 $\log^2 \log n$。