diff --git a/src/measure/lcg/haar.tex b/src/measure/lcg/haar.tex
index d5fca2e..9148896 100644
--- a/src/measure/lcg/haar.tex
+++ b/src/measure/lcg/haar.tex
@@ -135,7 +135,7 @@
         \item $I_g(f) + I_g(f') \le I_g(f + f') + \eps$. 
     \end{enumerate}
 
-    In which case, $I(f) + I(f') \le I(f + f') + \eps$. Since this holds for all $\eps > 0$, 
+    In which case, $I(f) + I(f') \le I(f + f') + 3\eps$. Since this holds for all $\eps > 0$, 
     \begin{enumerate}[start=4, label=(\roman*)]
         \item For each $f, f' \in C_c^+(G)$, $I(f + g) \ge I(f) + I(g)$. 
     \end{enumerate}