Riemann-integrálhatóság, integrálfüggvény