|
%I #19 Sep 17 2022 13:08:13
%S 1,2,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
%T 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
%U 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
%N Decimal expansion of 1/8.
%C Also, decimal expansion of Integral_{x=0..oo} x^2/cosh(Pi*x) dx. - _Bruno Berselli_, Mar 20 2013
%C Also, decimal expansion of Sum_(i>=1} 1/9^i. - _Bruno Berselli_, Jan 03 2014
%C For any triangle ABC, sin(A/2) * sin(B/2) * sin(C/2) <= 1/8, equality is obtained only when the triangle is equilateral (see the Kiran S. Kedlaya link). - _Bernard Schott_, Sep 16 2022
%H Kiran S. Kedlaya, <a href="https://igor-kortchemski.perso.math.cnrs.fr/olympiades/Cours/ineqs-080299.pdf">A < B</a>, (1999), Problem 6.3, p. 6.
%Y Cf. A002194, A104956 (other trigonometric inequalities).
%K nonn,cons
%O 0,2
%A _N. J. A. Sloane_
|
