login
A093767
Decimal expansion of (8 - 4*sqrt(2) - log(2))/(-1 + 2*sqrt(2)).
1
9, 0, 2, 4, 1, 4, 1, 8, 2, 9, 9, 7, 1, 5, 7, 2, 7, 0, 3, 9, 6, 4, 6, 1, 3, 0, 3, 1, 1, 2, 5, 3, 3, 3, 7, 3, 1, 6, 8, 2, 3, 4, 4, 2, 4, 5, 6, 6, 4, 3, 0, 3, 1, 1, 7, 0, 2, 1, 4, 0, 6, 2, 1, 7, 5, 2, 1, 1, 6, 2, 7, 4, 6, 4, 9, 5, 9, 6, 8, 5, 1, 7, 5, 8, 9, 6, 5, 7, 1, 6, 6, 8, 6, 9, 5, 7, 9, 8, 2, 8, 8, 4
OFFSET
0,1
COMMENTS
Smoothed octagon packing density.
LINKS
EXAMPLE
0.90241418299715727039646130311253337316823442456643...
MATHEMATICA
RealDigits[(8-4Sqrt[2 ]-Log[2])/(2Sqrt[2]-1), 10, 120][[1]] (* Harvey P. Dale, Nov 30 2012 *)
PROG
(PARI) (8-log(2)-sqrt(32))/(sqrt(8)-1) \\ Charles R Greathouse IV, Feb 22 2016
(Magma) SetDefaultRealField(RealField(100)); (8 -Log(2) -Sqrt(32) )/( Sqrt(8) -1); // G. C. Greubel, Oct 01 2018
CROSSREFS
Sequence in context: A065421 A198556 A261169 * A199175 A261313 A203129
KEYWORD
nonn,cons,easy
AUTHOR
Eric W. Weisstein, Apr 15 2004
STATUS
approved