login
A372951
Decimal expansion of 1/(2 - log(2)).
0
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, 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, 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
OFFSET
0,1
LINKS
Anthony Poƫls, On approximation to a real number by algebraic numbers of bounded degree, arXiv:2405.08341 [math.NT], 2024. See Theorem 1.1 at p. 2.
EXAMPLE
0.765197109517251171600034395189001208094005163...
MATHEMATICA
First[RealDigits[1/(2-Log[2]), 10, 100]]
CROSSREFS
Cf. A002162.
Sequence in context: A198816 A196553 A244921 * A334380 A101464 A072558
KEYWORD
nonn,cons
AUTHOR
Stefano Spezia, May 18 2024
STATUS
approved