login
Decimal expansion of 1/(2 - log(2)).
0

%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