>>679
任意の実数 x に対して x^2 ≧ 0 であり, また明らかに 5 > 0であるから、これらから導かれる結論として
x^2 + 5 ≧ 0 を満たす x は任意の実数である、ということ