「(x^2)-4≧0」が成り立つとき、
「tの２次方程式 t^2 - xt + 1 = 0を満たす実数tは存在する。」

この文章に何か不自然な所あるか？