S(11) ≥ 43,917,904
- Holds for
- n = 11
- Announced
- Nov 10, 2026
- Proof
- Lean proof
- Points
- 0.0
By 
Evidence
-
Lean proof, kernel-checked
github.com/williamechols/superpermutations at commit
ac27b17eab4a71386468474c9668cb3068a3ca35Checked on Nov 10, 2026.
Proof check
kernel-checked
- Checked
- Nov 10, 2026
- Lean version
- leanprover/lean4:v4.35.0
- Mathlib commit
56a005855ea17e0b0958f73ec801ae140b0a1679- lean4checker
lean4-bundled@eb6cafb7290e8bd5f2937522d8d804f58f02bafc- nanoda
lean4-bundled@eb6cafb7290e8bd5f2937522d8d804f58f02bafc
build 978 s, peak 8.7 GB
Result 1 of batch L-0024, theorem lower_eleven, checked in attempt 1: AlmanacSolution.lean, line 8.
theorem lower_eleven : Almanac.LowerBoundAt 11 43917904Repository at the checked commit · Repository archive (9.8 MB)