不等式x^2+1>0を解くにあたって、xが実数であることが十分条件になるが、
実はx=√(-1)/2もx^2+1>0を満たす。
虚数も解に含めるべきか？
通常は、不等式を解く場合は実数だけでよい。
だから、x^2+1>0の解はxは全ての実数とするだけでよい。