不等式を証明するのに素晴らしい