>>70>>74
不等式が出て来るからには、a, b が実数と云う前提があるだろう。