二重积分球面与抛物面的体积上限