Riemann-integrierbare Funktion/Fakt