求证:对任意实数x,不等式x2+4/(x2+1)大于等于3成立