数列an=根号下(n^2+1)-n,求证an是递减数列