Cheng's maximal diameter theorem

  1. REDIRECT Myers's theorem