The above assumption was imposed in [1]}, [2]} to analyze FedAvg for bounding iterate paths during local training. However, it may be unrealistic to impose a uniform bound in the face of large populations and data heterogeneity.
<TABLE><TABLE>