E-029 — convexity proof verification: sympy table match, psi_i<0, margin-tilde convex, N0_tilde=75621, margin~(8e4)=16020>0
08-19-2026 · 19991 rows · script
research/numerics/scripts/E-029-convexity.py
Metadata
Validation checks
| V1_sympy_matches_hand |
FAIL |
| V2_psi_negative |
PASS |
| V3_margin_tilde_convex_positive |
PASS |
| V4_I1_second_derivative |
PASS |
| V5_majorant |
PASS |
| table |
PASS |
Key values
| N0_tilde | 75621 |
| margin_tilde_8e4 | 16020.1971966516 |
| margin_tilde_prime_8e4 | 3.6877762759686448 |
| max_2n_B4d2 | 0.18932637317273204 |
Data preview (20000 rows total)