On the estimation of the second central moment for strongly additive arithmetic functions (Q788037)

Let \(f(m)\) be a strongly additive arithmetic function, \[ A_ n(f)=\sum_{p\leq n}f(p)p^{-1},\, D^ 2_ n(f)=\sum_{p\leq n}| f^ 2(p)| \,p^{-1}, \] \[ \mu_ n(f)=(1/n)\sum^{n}_{m=1}(f(m)- A_ n(f))^ 2,\, \tau_ n=\sup \mu_ n(f)D_ n^{-2}(f), \] the supremum taken over all real-valued functions such that \(D^ 2_ n(f)>0\). It is proven that \(\tau_ n=1.5+O(\log^{-1/2}n)\). Only estimations from above and below for \(\tau_ n\) were known earlier. The problem is solved in the same way if \(D^ 2_ n=\sum_{p\leq n}| f^ 2(p)| \,p^{-1}(1-p^{-1}).\)