[math-fun] Riemann integration question