>>6
x^2+z^2≦1，y^2+z^2≦1，x^2+y^2≦1，0≦x≦y≦zの全ての条件を満たす点の集合が作る領域の
体積を求めようとしているので、
0≦x≦y≦zを前提とするとx^2+y^2≦x^2+z^2≦y^2+z^2が言えることから

x^2+z^2≦1 ∧ y^2+z^2≦1 ∧ x^2+y^2≦1 ∧ 0≦x≦y≦z
⇔
0≦x≦y≦z ∧ x^2+y^2≦x^2+z^2≦y^2+z^2≦1
⇔
0≦x≦y≦z ∧ y^2+z^2≦1

ってだけの話なんですが…