DS FedProxGrad: Asymptotic Stationarity Without Noise Floor in Fair Federated Learning