>>909>>917
失礼しました
自然数nに対してa[n]<a[n+1]の条件がつきます