ビットとかそんなことは思い浮かんだけど
「どんな自然数も表現できること」を証明する
方法が思いつかない