The submissions stack has been unacceptably high for several months now. Please voluntarily restrict your submissions and please help with the editing. (We don't want to have to impose further limits.)
Table of n, a(n) for n=0..103.
Eric Weisstein's World of Mathematics, Lochs' theorem.
Eric Weisstein's World of Mathematics, Lochs' Constant
Equals 6*log(2)*log(10)/Pi^2 = 0.9702701143920339257...
(PARI) 6*log(2)*log(10)/Pi^2 \\ Michel Marcus, Oct 17 2014
Sequence in context: A185364 A085678 A256687 * A019885 A199078 A194098
Adjacent sequences: A086816 A086817 A086818 * A086820 A086821 A086822
Benoit Cloitre, Aug 06 2003