From 9b6385cc16e8ea1bf8b5b0aee03c3b352cc73c91 Mon Sep 17 00:00:00 2001
From: Bokuan Li <bokuan.li@mail.mcgill.ca>
Date: Wed, 24 Jun 2026 19:48:55 -0400
Subject: [PATCH] Fixed typo in Fenchel-Moreau.

---
 src/fa/convex/legendre.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/fa/convex/legendre.tex b/src/fa/convex/legendre.tex
index 02cd050..536a694 100644
--- a/src/fa/convex/legendre.tex
+++ b/src/fa/convex/legendre.tex
@@ -214,7 +214,7 @@
 
     so $(\Phi_t, \Gamma_t) \le f$. By (1), 
     \[
-        f^{**}(x) \ge \dpn{x, \Phi_t}{E} + \Gamma_t = \dpn{x, \phi_0}{E} + \gamma_0  + t\underbrace{\dpn{x, \phi}{E} - \gamma}_{> 0}
+        f^{**}(x) \ge \dpn{x, \Phi_t}{E} + \Gamma_t = \dpn{x, \phi_0}{E} + \gamma_0  + t\underbrace{(\dpn{x, \phi}{E} - \gamma)}_{> 0}
     \]
 
     As the above holds for all $t > 0$, $f^{**}(x) = \infty \ge \alpha$. Since $f^{**}(x) \ge \alpha$ for all $(x, \alpha) \in E \times \real \setminus A$, $\text{epi}(f^{**}) \subset \ol{\text{Conv}}(\text{epi}(f))$.