[math-fun] Li and the Riemann Hypothesis