>>755
実数解が存在することを証明するのであって、値を求めることは要求されてない。