| (i) | \begin{equation} a < b \end{equation} |
| (ii) | $f : [a, b] \to \mathbb{R}$ is a D1760: Riemann integrable real function |
| (i) | \begin{equation} a < b \end{equation} |
| (ii) | $f : [a, b] \to \mathbb{R}$ is a D1760: Riemann integrable real function |
| ▶ | D4925: Euclidean real arithmetic mean |