[math-fun] Maximum size of a simplex in projective space