z>=0,x^2+y^2+z^2=2,x^2+y^2=zにより囲む部分の体積を求めたいのですが、
z平面で切って、断面が円であり、その円をy軸方向に積分すると式は
4∫[0~2]dz∫[0=(2-x^2-z^2)^(1/2)](z-y^2)^(1/2)dxですか？