>>280
∫[-r,r]π*(r^2-x^2)dx
=(4πr^3)/3
(q.e.d.)