Обозначим cлагаемые за Х,У,Z
(X+Y+Z)/3>=1
Согласно неравенству о среднем арифметическом и среднем геометрическом достаточно доказать :
ХУZ>=1
Вернемся к исходным обозначениям
8abc>=(a+b)(b+c)(a+c)
Снова согласно неравенству о среднем арифметическом и среднем геометрическом видим
a+b>=2sqrt(ab) b+c>=2sqrt(сb) (a+c)>=2sqrt(ac)
поэтому можим заменить сомножители справа на произведение
2sqrt(ab)*2sqrt(aс)*2sqrt(сb)=8abc, что и доказывает неравенство.
Равенство достигается только при а=с=b
По определению, 
Т.к. в обоих случаях нужно обосновать, что L=0, определение преобразуется в утверждение 
2) 
А значит, если взять ![N=\left[\dfrac{|a|}{\varepsilon}\right] +1](/tpl/images/3820/0626/0d89e.png)
(*), 
. И правда: 
(*) Очевидно, что для любого допустимого значения 
выражение ![\left[\dfrac{|a|}{\varepsilon}\right] +1](/tpl/images/3820/0626/ae843.png)
определено и конечно, и при этом натуральное число (как сумма неотрицательного целого числа и 1). (*)
А это и означает, что предел данной последовательности равен 0
4) 
А значит, если взять ![N=\left[\dfrac{3}{\varepsilon}\right] +1](/tpl/images/3820/0626/a4ca4.png)
(**), . И правда: ![\dfrac{|2+(-1)^n|}{\varepsilon}\leq\dfrac{3}{\varepsilon}< \left[\dfrac{3}{\varepsilon}\right] +1=N\leq n \Rightarrow \dfrac{|2+(-1)^n|}{\varepsilon}< n \Rightarrow |x_n|](/tpl/images/3820/0626/49458.png)
(**) Очевидно, что для любого допустимого значения выражение ![\left[\dfrac{3}{\varepsilon}\right] +1](/tpl/images/3820/0626/698f8.png)
определено и конечно, и при этом натуральное число (как сумма неотрицательного целого числа и 1). (**)
А это и означает, что предел данной последовательности равен 0
___________________________
2) a=1. Тогда 
4)
___________________________
Обозначения и некоторые св-ва: {x} - дробная часть числа x, [x] - целая часть числа x. 
