Cheng's eigenvalue comparison theorem