最大・最小値を持つことも別に証明するのに、無駄なことしてるなあという感想