A379534 - OEIS

%I #12 Jan 08 2025 11:41:26

%S 5,4,8,7,5,9,9,9,1,7,0,8,9,6,7,0,8,9,7,2,8,1,0,9,9,7,1,0,2,2,9,3,5,6,

%T 3,0,6,3,1,5,4,8,9,6,0,9,5,2,4,1,1,2,6,5,3,5,7,1,6,6,6,0,9,4,8,0,4,6,

%U 4,8,2,9,9,7,5,9,7,4,8,0,7,0,8,2,5,4,3,3,8,7,5,1,4,2,2,1,1,1,8,5

%N Decimal expansion of (9*sqrt(65) - 55)/320.

%C Lower bound to the 9th Heilbronn triangle constant.

%D Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Section 8.16, p. 527.

%H Francesc Comellas and J. Luis A. Yebra, <a href="https://doi.org/10.37236/1623">New lower bounds for Heilbronn numbers</a>, Elec. J. Combin. 9 (2002) R6. See pp. 6, 8.

%e 0.054875999170896708972810997102293563063154896095241...

%t RealDigits[(9Sqrt[65]-55)/320,10,100][[1]]

%Y Cf. A010517, A248866, A343851, A379533.

%K nonn,cons,easy

%O -1,1

%A _Stefano Spezia_, Dec 24 2024