From b68c05022594bb44f01ec920c8f1eb0da0da2be5 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Wed, 17 Jun 2026 23:50:56 -0400
Subject: [PATCH] Mised 3 factor.

---
 src/measure/lcg/haar.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}