Riemann integral/Step functions with equal limit/Integral/Fact