Prove that a bounded function $f$ is integrable on $[0,1]$ if $$I_0 := \lim_{n\to\infty}L(f,P_n) = \lim_{n\to\infty}U(f,P_n),$$ in which case $\int_0^1f(x)dx$ equals $I_0$.
Refer here. I suspect that this is the same question with answers but I am not sure how to apply it to prove my particular case.
Furthermore, consider the definition that I was given below
Definition: $f : [a,b]\to \mathbb R$ is said to be (Riemann) integrable on $[a,b]$ if and only if $f$ is bounded on $[a,b]$, and for every $\epsilon > 0$ there is a partition $P$ of $[a,b]$ such that $U(f,P) - L(f,P) < \epsilon$.
With this definition in mind, why then did the linked post above need to show that $$\overline{\int}_a^b f \leq U(f,P_N) \leq L(f,P_N) \leq \underline{\int}_a^b f?$$ Would it not just follows from the definition (in my particular case) that if $U=L$ as $n\to \infty$ then there automatically is a partition $P$ such that $U(f,P) - L(f,P) < \epsilon$ is satisfied by definition?
Any clarification is helpful thank you!