The Arens-Michael envelope of a smash product

Given a Hopf algebra H and an H-module algebra A, we explicitly describe the Arens-Michael envelope of the smash product A#H in terms of the Arens-Michael envelope of H and a certain completion of A. We also give an example (Manin’s quantum plane) showing that the result fails for non-Hopf bialgebras.