OFFSET
0,1
COMMENTS
See Theorem 1.1 in Bezdek and Daróczy-Kiss (2005).
See A374772 for an improved bound.
LINKS
Paolo Xausa, Table of n, a(n) for n = 0..10000
Károly Bezdek and Endre Daróczy-Kiss, Finding the Best Face on a Voronoi Polyhedron--The Strong Dodecahedral Conjecture Revisited, Monatshefte für Mathematik, Vol. 145, No. 3, July 2005, pp. 191-206.
FORMULA
Equals (30*arccos((sqrt(3)/2)*sin(Pi/5)) - 9*Pi)/(5*tan(Pi/5)).
Equals 4*Pi/A374838.
EXAMPLE
0.7783683851377739227957671666059435201971163186281...
MATHEMATICA
First[RealDigits[(30*ArcCos[Sqrt[3]/2*Sin[Pi/5]] - 9*Pi)/(5*Tan[Pi/5]), 10, 100]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Paolo Xausa, Jul 21 2024
STATUS
approved