jun li (mathematician)