int z*boole (x^2+y^2<z<4), x=-oo..oo, y=-oo..oo, z=-oo..oo