fiddle with simplified versus real Riemann integral; earlier version was wrong mathematically