Federated Learning Robust to Byzantine Attacks: Achieving Zero Optimality Gap