2020.05.13記 [1] ニシテ且 ナルコトヲ證セヨ． 2020.05.13記 前半をまず示す。これは有名な解法があって、 [解答] のとき、 が 個と、 が 個の 個の正数についてAM-GM不等式を用いると、等号成立条件をみたさないので、 が成立する。よって、 が、 で成立す…