[math-fun] Simple statement equivalent to the Riemann Hypothesis