11/01/12 21:00:00
１＜ｍ＜ｎ。
０≦ａ。
ｂ＝（ｎ－ｍ）ａ／（ｎ－１）。
ｃ＝（ｍ－１）ａ／（ｎ－１）。
ａ＝ｂ＋ｃ。
ｍａ＝ｂ＋ｎｃ。
ａ／ｍ≦ｂ＋ｃ／ｎ。
（ｘ＋ｎ（１－ｘ））（ｘ＋（１－ｘ）／ｎ）＾２
＝（２ｎ－２（ｎ－１）ｘ）（１＋（ｎ－１）ｘ）＾２／２ｎ＾２
≦（（２ｎ＋２）／３）＾３／２ｎ＾２
＝４（ｎ＋１）＾３／２７ｎ＾２。
11/01/12 21:00:00
１＜ｍ＜ｎ。
０≦ａ。
ｂ＝（ｎ－ｍ）ａ／（ｎ－１）。
ｃ＝（ｍ－１）ａ／（ｎ－１）。
ａ＝ｂ＋ｃ。
ｍａ＝ｂ＋ｎｃ。
ａ／ｍ≦ｂ＋ｃ／ｎ。
（ｘ＋ｎ（１－ｘ））（ｘ＋（１－ｘ）／ｎ）＾２
＝（２ｎ－２（ｎ－１）ｘ）（１＋（ｎ－１）ｘ）＾２／２ｎ＾２
≦（（２ｎ＋２）／３）＾３／２ｎ＾２
＝４（ｎ＋１）＾３／２７ｎ＾２。