From e97d9d4ea21994d21cf56dac7070eceef819f029 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Thu, 22 Jun 2023 16:54:33 +0100
Subject: [PATCH] Minor correction

---
 main.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/main.tex b/main.tex
index 2473254..e85693c 100644
--- a/main.tex
+++ b/main.tex
@@ -1546,7 +1546,8 @@ corrolary_bound = (
 Using the above corrolary \ref{cor:direct_rmax_with_uniform_eps}, we get that
 the ranks of tilt semistabilizers for $v$ are bounded above by
 $\sage{corrolary_bound} \approx  \sage{float(corrolary_bound)}$,
-which is much closer to real maximum $\sage{extravagant.actual_rmax}$ than the original bound 7744.
+which is much closer to real maximum $\sage{extravagant.actual_rmax}$ than the
+original bound 215296.
 \end{example}
 %% refinements using specific values of q and beta
 
-- 
GitLab