x是什么实数时 (x²-7)有最小值