A problem of Galambos on Engel expansions (Q4486465)

Given \(x\in(0,1]\), the Engel expansion of \(x\) is given by \[ x=\frac 1{d_1(x)}+\frac 1{d_1(x)d_2(x)}+\dots +\frac 1{d_1(x)d_2(x)\dots d_n(x)}+\dots, \] where \(\{d_j(x)\}_{j\geq 1}\) is a sequence of positive integers with \(d_1(x)\geq 2\) and \(d_{j+1}(x)\geq d_j(x)\) (\(j\geq 1\)). \textit{J. Galambos} [Representations of real numbers by infinite series. Lecture Notes in Mathematics 502, Berlin: Springer (1976; Zbl 0322.10002) on p. 692-693] proved that for almost all \(x\in(0,1]\), \(\lim_{n\to\infty}d_n^{1/n}(x)=e\). He conjectured [on p. 132 (loc. cit.)] that the Hausdorff dimension of the set where this relation fails is one. The author proves this conjecture in this paper.