Electric charge renormalization to all orders