`sum_(i=1)^9 i^3=2025`