Fixed-point scaling error (Lemma 2.2): $\varepsilon(\tilde v)<2c\,\varepsilon(\tilde u)+3$

Initializing...

Fixed-point scaling error (Lemma 2.2): $\varepsilon(\tilde v)<2c\,\varepsilon(\tilde u)+3$ · Prove2Me