うん、それは不等式だね