Theorem 4.3 [e. g. [1]}]
Let Pricing Scheme REF  be applied. Then, the sequence \(\left(p_t\right)_{t \ge 0}\)  converges to an equilibrium price \(p^\star \) . Moreover it holds for \(t \ge 0\) :
\( TER\left(p_t\right) - TER(p^\star ) \le \frac{\Vert p_0-p^\star \Vert _2^2}{2th}.\) 

