>>527
数列{fn}を次のように定める。

f1＝2 , f(n＋1)＝2^fn

数列{fn}は明らかに狭義単調増加である。g：[2,＋∞)→Rを

g(x)＝k ( fk≦x＜f(k＋1) )

として定め、数列A[n]をA[n]＝g(n)で定義する。このA[n]は、
１と２をともに満たす。