>>852
　(x,y,z) が 与式を満たす。　⇔　(-x,-y,-z) は与式を満たさない。
なので、対称性より
　V(R)/(8R^3) = 1/2.

857
素数pを1つ固定する。
　{1,2,3,････,x} の中に、 p^kで割り切れるものはあるが p^(k+1) で割り切れるものはない
とすると、
　与式の右辺は pをk回含む。
∴　与式の右辺はLCM(1,2,3,････,x)