https://123dok.net/document/y6epd7l5-on-mean-values-of-dirichlet-polynomials.html