>>106
まず、任意の自然数 n に対して、a[n] < a[n+1] を、示す。
仮に、a[n+1]≦a[n] とすると、a[n+1]≦a[a[n]]< a[n+1]となり、矛盾。
したがって、n についての帰納法で、n≦a[n] が、なり立つ。
今、a[a[n]]< a[n+1] だから、{a[n]}(n=1,2,..) の、単調増加性より、
a[n]<n+1。
したがって、a[n]=n