The_inequality_of_the_max_is_the_inequality_AND - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)