A Proofs for Fat T ailed Federated Learning