diff --git a/constants/80a.md b/constants/80a.md index 2f628e1..d03dd13 100644 --- a/constants/80a.md +++ b/constants/80a.md @@ -30,7 +30,7 @@ Equivalently, $C_{80}$ is the asymptotic storage-capacity / satisfiability thres | ----- | --------- | -------- | | $0$ | Trivial | | | $>0$ | [KR1998] | Shows the capacity is bounded away from zero with high probability. | -| $\alpha_{\star} \approx 0.833$ | [DS2025], [NS2023] | Conditional on an explicit numerical maximization hypothesis for a one-variable function $\mathscr{S}_{\star}(\lambda)$; Ding–Sun prove the lower bound with positive probability, and the sharp-threshold theory of Nakajima–Sun upgrades this to with high probability for every $\alpha < \alpha_{\star}$. | +| $\alpha_{\star} \approx 0.833$ | [DS2025], [NS2023] | Conditional on an explicit numerical maximization hypothesis for a one-variable function $\mathscr{S}\_{\star}(\lambda)$; Ding–Sun prove the lower bound with positive probability, and the sharp-threshold theory of Nakajima–Sun upgrades this to with high probability for every $\alpha < \alpha_{\star}$. | ## Additional comments