The proof of Lemma 1 can be found in [1]}.
From Lemma 1, we can find that the number of global iterations \(n\)  increases with the local accuracy.
This is because more iterations are needed if the local computation has a low accuracy.
