若a>0,则根号下(a^2+1)/a^2 减根号2大于等于(a+1/a) - 2