@misc{indiciae530880320bf2, title = {A sharp Gaussian harmonic-mean inequality for Neumann eigenvalues of the Ornstein-Uhlenbeck operator}, author = {Francesco Chiacchio}, year = {2026}, url = {https://arxiv.org/abs/2607.28328}, note = {Source identifier: 2607.28328} }