定义 $\mathrm{sqrt}^*$ 表示一个数取多少次平方根能取到小于 2

能否证明 $\mathrm{sqrt}^*(x)=\mathcal O(\log x)$