[math-fun] rounded tetrahedron