>>482
発想は、a,b,2変数の不等式は見かけだけで、
実は1変数の不等式になるのだろうとの予想から生まれた。