# An Irrationality Measure for Regular Paperfolding Numbers

• Published in 2012
In the collections
Let $F(z) = \sum_{n \geq 1} f_n z^n$ be the generating series of the regular paperfolding sequence. For a real number $\alpha$ the irrationality exponent $\mu(\alpha)$, of $\alpha$, is defined as the supremum of the set of real numbers $\mu$ such that the inequality $\lvert \alpha - p/q \rvert \lt q-\mu$ has infinitely many solutions $(p,q) \in Z \times N$. In this paper, using a method introduced by Bugeaud, we prove that $\mu(F(1/b)) \leq 275331112987/137522851840 = 2.002075359 \ldots$ for all integers $b \geq 2$. This improves upon the previous bound of $\mu(F(1/b)) \leq 5$ given by Adamczewski and Rivoal.

### BibTeX entry

@article{AnIrrationalityMeasureforRegularPaperfoldingNumbers,
title = {An Irrationality Measure for Regular Paperfolding Numbers},
abstract = {Let {\$}F(z) = \sum{\_}{\{}n \geq 1{\}} f{\_}n z^n{\$} be the generating series of the regular paperfolding sequence. For a real number {\$}\alpha{\$} the irrationality exponent {\$}\mu(\alpha){\$}, of {\$}\alpha{\$}, is defined as the supremum of the set of real numbers {\$}\mu{\$} such that the inequality {\$}\lvert \alpha - p/q \rvert \lt q-\mu{\$} has infinitely many solutions {\$}(p,q) \in Z \times N{\$}. In this paper, using a method introduced by Bugeaud, we prove that

$\mu(F(1/b)) \leq 275331112987/137522851840 = 2.002075359 \ldots$

for all integers {\$}b \geq 2{\$}. This improves upon the previous bound of {\$}\mu(F(1/b)) \leq 5{\$} given by Adamczewski and Rivoal.},
url = {https://cs.uwaterloo.ca/journals/JIS/VOL15/Coons/coons3.html https://cs.uwaterloo.ca/journals/JIS/VOL15/Coons/coons3.pdf},
author = {Michael Coons and Paul Vrbik},
comment = {},
urldate = {2016-07-11},
collections = {Things to make and do,Integerology},
year = 2012
}