证明y=1/x²在定义域上有下界,无上届