Let $P = \{x_0, x_1, \dots, x_n\}$ be a partition of $[0, 1]$, where $x_0 = 0$ and $x_n = 1$.
For each subinterval $[x_{i-1}, x_i]$, we have
$$M_i = \sup\{f(x): x \in [x_{i-1}, x_i]\} = \sup\{x: x \in [x_{i-1}, x_i] \cap \mathbb{Q}\} = x_i$$
$$m_i = \inf\{f(x): x
Show more…