OFFSET
2,2
COMMENTS
See Theorem 1.1 in Bezdek and Daróczy-Kiss (2005).
See A374755 for an improved bound (the strong dodecahedral conjecture).
LINKS
Paolo Xausa, Table of n, a(n) for n = 2..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 20*Pi*tan(Pi/5)/(30*arccos(sqrt(3)/2*sin(Pi/5)) - 9*Pi).
Equals 4*Pi/A374837.
EXAMPLE
16.144502852765379806937602328092933543868922009780...
MATHEMATICA
First[RealDigits[20*Pi*Tan[Pi/5]/(30*ArcCos[Sqrt[3]/2*Sin[Pi/5]] - 9*Pi), 10, 100]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Paolo Xausa, Jul 21 2024
STATUS
approved