>>482
式変形で一変数化したいから
不等号の向きと分母分子あってる?