Denominators of Egyptian fractions (Q5903564)

Let \(Z_ 0\) be the set of positive integers. Let \(a,N\in\mathbb Z_ 0\) be such that \(a<N\). By an Egyptian fraction expansion of \(a/N\), we mean the following \(a/N=\sum^{k}_{i=1}1/n_ i\), \(n_ 1<n_ 2<...<n_ k\), where \(n_ i\in\mathbb Z_ 0\). Define \[ D(a,N)=\min \left\{n_ k: a/N=\sum^{k}_{j=1}1/n_ i,\;n_ 1<n_ 2<\ldots<n_ k,\;n_ i\in\mathbb Z_ 0\right\}, \] where the minimum ranges over all Egyptian fraction expansions of \(a/N\). Define \[ D(N)=\max \{D(a,N): 1\leq a<N\}. \] In this paper, the author proves that \[ D(N)/N\leq (\log N)^{3/2+\varepsilon}, \] where \(\varepsilon\to 0\) as \(N\to \infty.\) For part II see the following review Zbl 0637.10007.