Coefficients of bounded nonvanishing functions (Q1319097)

Let \(K\) be the class of functions \(f(z)=\sum^ \infty_{n=0}a_ nz^ n\) which are analytic on the unit disc \(\Delta\) and satisfy \(0<| f(z)|<1\) there. Clearly, up to multiplication by a constant with magnitude 1, each \(f(z)\in K\) is of the form \(\exp(-\alpha p(z))\) where \(\alpha>0\) and \(p(z)\in P\), the class of functions analytic in \(\Delta\) with \(p(0)=1\) and with \(\text{Re} p(z)>0\) for all \(z\in\Delta\). Krzyż posed the problem of finding the maxima of the Taylor coefficients of functions in \(K\). A rather comprehensive discussion of this problem was published by \textit{J. A. Hummel}, \textit{St. Scheinberg} and \textit{L. Zalcman} [J. Anal. Math. 31, 169-190 (1977; Zbl 0346.30013)] [HSZ]. There it was shown that the extremal function for a maximum \(| a_ n|\) must be of the form \(E=\exp(-\sum^ n_{j=1}\alpha_ jk(\varphi_ j,z))\) where the \(\alpha_ j\geq 0\) and \(k(\varphi,z)=(1+e^{i\varphi}z)/(1-e^{i\varphi}z)\). It was also shown that max \(| a_ n|=2/e\) for \(n=1,2\), and 3, the extremal function for these three being the function \(\exp(-(1+z^ n)/(1-z^ n))\). The obvious conjecture is that the extremal \(| a_ n|=2/e\) for all \(n>0\).