[math-fun] Maximum number of empty tetrahedra ...