Definition:Riemann Integrable Function