任两项不整除 差分序列无界

hbghlyj

Invariants Summer 2022 Week 2 Problem 2.
自然数递增序列$c_1, c_2, \cdots$满足对于任何$i \neq j$，$c_i$不整除$c_j$。证明：差分序列
$$
c_2-c_1, c_3-c_2, c_4-c_3 \cdots
$$
是无界的。