- 500 名前：１３２人目の素数さん [2016/12/21(水) 19:46:04.30 ID:GcfZM5eW.net]
- 数列 1, 2, 3, …
すなわち、
数列 {a_n} = {n}
を考える。
{a_n} の任意の連続する有限部分列を a_k, a_(k+1), …, a_l（k ≦ l）とする。
各 i（k ≦ i ≦ l）に対して、0以上の整数 b_i を以下で定義する：
「2^(b_i) は a_i を割り切るが、 2^(b_i+1) は a_i を割り切らない」
このとき、 #{m | k ≦ i ≦ l である任意の i に対して、 b_i ≦ b_m} = 1 であることを示せ。
