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