2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/79228A certain subspace of the Hilbert space of square-integrable functions on the unit interval has been considered by Nyman, Beurling, and others, with the result that the constant function 1 belongs to it if and only if the Riemann Hypothesis holds. I show that the product of |1 - 1/rho| taken over the zeros with real parts strictly greater than 1/2, counted with multiplicities, is the norm of the projection of 1 to this subspace. This provides a quantitative refinement to Nyman's theorem.4 pagesNumber Theory11M26;30D50text