2 証明
まずは (3) を示す。
であるから、
としてよい。今、 となる自然数 (= の整数部分) をとると、
(8)
となる。これらはいずれも 1 より大きいので、当然
となって、よって、
(9)
が成り立つことになる。
の際、当然
となり、
となるので、
(9) とはさみうちの原理により (3) が
示されたことになる。
次は (4) であるが、こちらは
に
対して () とすると、
で、
となるので、(3) より
となることがわかる。これで (4) が示されたことになる。
竹野茂治@新潟工科大学
2021-11-08