a[1]=√2
a[n+1]=√(1+a[n])
とするとき、任意の自然数nに対してa[n]が無理数であることを証明せよ。
ただし√2が無理数であることは証明なしに用いて良い。