已知函数f(x)=x的平方/2x-2,如果数列an满足a1=4,a(n+1)=f(an),求证当n大于等于2是,恒有an