2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/209354Rigorous lower bound on the time-average of the autocorrelation function of an arbitrary L^1 observable is proven in terms of conserved quantities and ergodic decompositions of the Hamiltonian dynamics. Improvements with respect to the bounds given by Mazur and Suzuki are discussed.20 pagesDynamical SystemsStatistical MechanicsMathematical Physics37K05, 37A25, 37A60text