1: \begin{abstract}

2:    Enhancing the FedProx federated learning algorithm \citep{li2020federated} with server-side extrapolation, \citet{li2024power} recently introduced the {\FEDEXPROX} method.

3:    Their theoretical analysis, however, relies on the assumption that each client computes a certain proximal operator exactly, which is impractical since this is virtually never possible to do in real settings.

4:    In this paper, we investigate the behavior of {\FEDEXPROX} without this exactness assumption in the smooth and globally strongly convex setting.

5:    We establish a general convergence result, showing that inexactness leads to convergence to a neighborhood of the solution.

6:    Additionally, we demonstrate that, with careful control, the adverse effects of this inexactness can be mitigated.

7:    By linking inexactness to biased compression \citep{beznosikov2023biased}, we refine our analysis, highlighting robustness of extrapolation to inexact proximal updates.

8:    We also examine the local iteration complexity required by each client to achieved the required level of inexactness using various local optimizers.

9:    Our theoretical insights are validated through comprehensive numerical experiments.

10: \end{abstract}

11: