不等式への招待 第５章
http://kamome.2ch.net/test/read.cgi/math/1287932216/

57 名前：１３２人目の素数さん[sage] 投稿日：2011/01/12(水) 21:00:00
１＜ｍ＜ｎ。
０≦ａ。
ｂ＝（ｎ－ｍ）ａ／（ｎ－１）。
ｃ＝（ｍ－１）ａ／（ｎ－１）。
ａ＝ｂ＋ｃ。
ｍａ＝ｂ＋ｎｃ。
ａ／ｍ≦ｂ＋ｃ／ｎ。

　（ｘ＋ｎ（１－ｘ））（ｘ＋（１－ｘ）／ｎ）＾２
＝（２ｎ－２（ｎ－１）ｘ）（１＋（ｎ－１）ｘ）＾２／２ｎ＾２
≦（（２ｎ＋２）／３）＾３／２ｎ＾２
＝４（ｎ＋１）＾３／２７ｎ＾２。

59 名前：１３２人目の素数さん[sage] 投稿日：2011/01/14(金) 05:00:00
１≦ｉ≦ｎ。
（ｉ－１）（ｉ－ｎ）≦０。
ｎ≦ｉ（ｎ＋１－ｉ）。
１／ｉ≦（ｎ＋１－ｉ）／ｎ。

　Σ（ｉａ（ｉ））Σ（ａ（ｉ）／ｉ）＾２
≦Σ（ｉａ（ｉ））Σ（（（ｎ＋１－ｉ）／ｎ）ａ（ｉ））＾２
＝Σ（ｉａ（ｉ））（（（ｎ＋１）／ｎ）Σ（ａ（ｉ））－（１／ｎ）Σ（ｉａ（ｉ）））＾２
≦（４（ｎ＋１）＾３／２７ｎ＾２）Σ（ａ（ｉ））＾３。