半径1の球に内接する正四面体の体積は 8/(9√3) = 0.5132..
>>817の解はこれより小さい(はず)