[math-fun] Maximum number of triples of orthogonal directions