Rigorous second-order cumulant expansion