Rigorous estimates for the series expansions of Hamiltonian perturbation theory