%I #6 May 18 2024 03:36:14
%S 7,6,5,1,9,7,1,0,9,5,1,7,2,5,1,1,7,1,6,0,0,0,3,4,3,9,5,1,8,9,0,0,1,2,
%T 0,8,0,9,4,0,0,5,1,6,3,0,4,7,7,7,4,9,1,1,4,6,5,2,9,0,2,1,9,0,5,2,6,8,
%U 9,0,2,9,2,9,4,9,0,9,8,2,7,4,1,4,0,3,8,5,1,3,6,4,9,6,3,8,9,1,5,4
%N Decimal expansion of 1/(2 - log(2)).
%H Anthony Poƫls, <a href="https://arxiv.org/abs/2405.08341">On approximation to a real number by algebraic numbers of bounded degree</a>, arXiv:2405.08341 [math.NT], 2024. See Theorem 1.1 at p. 2.
%e 0.765197109517251171600034395189001208094005163...
%t First[RealDigits[1/(2-Log[2]),10,100]]
%Y Cf. A002162.
%K nonn,cons
%O 0,1
%A _Stefano Spezia_, May 18 2024
|