推题目的时候推出来的，花费诸多小时无果。

已知 $T(x)=x\log(\dfrac{k-x^2}{x} )$，且 $k,x$ 均为正整数，求复杂度上界（含 $k$）。

经过验证应该是一个 $O(\sqrt n)$ 的东西，但是不会证明/kk