Сильные духом и имеющие некоторый запас времени могут показать, что
Очевидно, эта разность положительна.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Докажем и другим способом. Заметим, что для любого положительного x и для любого положительного 0 < a < x верно следующее:
\dfrac2x" alt="\dfrac1{x-a}+\dfrac1{x+a}>\dfrac2x" align="absmiddle" class="latex-formula">
(Это можно проверить путем домножения на , получится 2x^2-2a^2" alt="2x^2>2x^2-2a^2" align="absmiddle" class="latex-formula">)
Тогда
\dfrac{2/3}{n+\frac12}" alt="\dfrac1{3n+1}+\dfrac1{3n+2}=\dfrac13\left(\dfrac1{n+\frac12-\frac16}+\dfrac1{n+\frac12-\frac16}\right)>\dfrac{2/3}{n+\frac12}" align="absmiddle" class="latex-formula">
Разность, написанная выше, строго больше, чем
Так как функция y = 1/x убывает для x > 0, то последнее выражение строго положительно.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
По неравенству о средних
откуда
Тогда
После раскрытия скобок в числителе получится n/12, и вся разность по-прежнему положительна.