09/07/16 09:55:17
>>26の最後の二行は投稿する際に消すのを忘れてしまった二行ぽいから無視するとして、
たとえばa[n]=2^nは∀n a[n]<a[n+1]と∀n<m<l 2a[m]≠a[n]+a[l]の両方を満たす
一般に適当な急増化数列を取れば上の条件を満たすけど、
何処まで緩い増加で上の条件を満たす数列を見つけられるかは気にはなる
limsup a[n]/n<∞(liminfだったかも)を満たす数列が上の条件を満たさないことは
組み合わせ論で証明されてたような気がするが