posted on 2025-05-10, 23:52authored byYves Gallot, Pieter Moree, W. Zudilin
If the equation of the title has an integer solution with k≥2, then m>109.3·10⁶. This was the current best result and proved using a method due to L. Moser (1953). This approach cannot be improved to reach the benchmark m>1010⁷. Here we achieve m>1010⁹ by showing that 2k/(2m-3) is a convergent of log 2 and making an extensive continued fraction digits calculation of (log 2)/N, with N an appropriate integer. This method is very different from that of Moser. Indeed, our result seems to give one of very few instances where a large scale computation of a numerical constant has an application.
History
Journal title
Mathematics of Computation
Volume
80
Pagination
1221-1237
Publisher
American Mathematical Society
Language
en, English
College/Research Centre
Faculty of Science and Information Technology
School
School of Mathematical and Physical Sciences
Rights statement
First published in Mathematics of Computation in 2011, published by the American Mathematical Society