%I #18 Feb 03 2018 13:04:42
%S 6,3,9,5,7,7,6,8,9,9,9,4,7,2,0,1,3,3,1,1,2,8,9,9,8,7,0,5,6,5,7,3,1,3,
%T 8,4,1,1,5,2,7,6,4,8,1,9,1,4,4,1,9,6,2,2,5,8,2,7,4,2,3,5,5,8,3,6,1,3,
%U 2,3,5,3,1,8,5,8,8,1,6,7,7,3,6,8,6,9,5,7,0,5,0,8,4,0,1,7,9,5,9,1
%N Decimal expansion of 1/log_2(r), where r is Otter's rooted tree constant.
%C The article "Beweisbar oder nicht? Die Grenzzahl 0,639578175..." (linked below) has a wrong value (already in the title).
%H Andreas Weiermann, <a href="http://www.jstor.org/stable/4147731">An Application of Graphical Enumeration to PA</a>, The Journal of Symbolic Logic, Vol. 68, No. 1 (2003), 5-16 (see page 13).
%H Andreas Weiermann and Dirk Huylebrouck, <a href="http://dx.doi.org/10.1515/dmvm-2015-0060">Beweisbar oder nicht? Die Grenzzahl 0,639578175...</a>, Mitteilungen der DMV, Volume 23, Issue 3 (2015), 156-159.
%F Equals 1/log_2(A051491).
%e 0.63957768999472013311289987056573138411527648191441962258274235583613235318588...
%Y Cf. A051491.
%K nonn,cons
%O 0,1
%A _Moritz Firsching_, Oct 11 2015