Paper 1, Section I, 2F2 F

Topics In Analysis
Part II, 2017

State Liouville's theorem on the approximation of algebraic numbers by rationals.

Suppose that we have a sequence ζn\zeta_{n} with ζn{0,1}\zeta_{n} \in\{0,1\}. State and prove a necessary and sufficient condition on the ζn\zeta_{n} for

n=0ζn10n!\sum_{n=0}^{\infty} \zeta_{n} 10^{-n !}

to be transcendental.