任意の自然数Nに対して、次のような自然数nが必ず存在することを示せとする
「2^nを十進数表記したとき、0が連続してN個続く部分がある」