Matching works

1 work

math.NT — Number Theory

Optimal bounds for the length and number of unit fraction representations

Contributed by Thomas Bloom, Wouter van Doorn

This paper gives a human-written exposition and simplification of proofs that were recently posted by OpenAI. We prove that every a/b∈(0,1)a/b\in (0, 1) can be written as the sum of O(log⁡log⁡b)O(\log\log b) many distinct unit fractions. We also prove that the number of representations of 11 as the sum of kk distinct unit fractions grows doubly exponentially in kk.

Primarily human-written textHuman understanding: all partsegyptian fractionsunit fractions

Advanced search

Text
Human understanding
Linked formalizations