Euler Theorem Prover
Input theorem
sum i from 1 to n of (i+2)^2
Choose method
Euler-Maclaurin
Integration approximation
Known formula expansion
Split polynomial terms
Compare methods
Prove
Closed form output
Formal proof steps
Child explanation
Optional staircase diagram