$10^x$ 的二进制表示中 $1$ 的个数似乎总是不少于 $(x+1)$ 个。

我用计算器验证了 $11$ 以内都是正确的，有没有人可以证明或证伪？