Convergence of Federated Learning over a Noisy Downlink