ネタ切れの予感が

【xyz空間内の原点O、点Pは次を満たす。

 中心が点P、半径1/OP^2の球は、xy平面とz軸の両方に共有点を持つ。

 このとき点P全体がなす立体の体積を求めよ。】