>>753
確かに複素数を考えると範囲が広くなっていると思いますが、
任意の実数xについて〜が成り立つ、の否定を考えるとき
実数xという部分だけ変わらないのがよく分からなかったんです。
でもそれはそういう決まりということで覚えておくことにします。