When proving that a function which is integrable according Definition 2 is also integrable according to Definition 1, given $\epsilon\gt 0$ one is tempted to take $\delta$ as $\Vert P_\epsilon\Vert$. The problem is that there can be partitions $P$ with $\Vert P\Vert \lt \delta$ but $P\not\supseteq P_\epsilon$. So, how will we use Definition 2 then? Let's see.
We say that $f\in \mathscr R[a,b]$ when $f$ is integrable according to Definition 2. We also write $\mathscr P[a,b]$ for the set of partitions of the interval $[a,b]$. As usual $\Vert f\Vert_\infty =\sup\{|f(x)| : x\in [a,b]\}$.
Lemma Let $f:[a,b]\to \Bbb R$ be a bounded function, and $P\in \mathscr P[a,b]$.
- If $P_1$ is the partition obtained from $P$ by adding one point then
\begin{gather*}
L(P_1,f)\leq L(P,f) + 2\Vert f\Vert_\infty \Vert P\Vert\\
U(P_1,f)\geq U(P,f) - 2\Vert f\Vert_\infty \Vert P\Vert
\end{gather*}
- If $P_m$ is the partition obtained from $P$ by adding $m$ points then
\begin{gather*}
L(P_m,f)\leq L(P,f) + 2m\Vert f\Vert_\infty \Vert P\Vert\\
U(P_m,f)\geq U(P,f) - 2m\Vert f\Vert_\infty \Vert P\Vert
\end{gather*}
Proof.
Let $z\in [a,b]$ be the point to be added. If $P = \{a=x_0,x_1\ldots,x_n=b\}$, there is some $k\in\{1,\ldots,n\}$ so that $z\in [x_{k-1},x_k]$. Thus, letting
\begin{gather*}
m^\prime = \inf f\left(\left[x_{k-1},z\right]\right)\\
m^{\prime\prime} = \inf f\left(\left[z,x_k\right]\right)
\end{gather*}
we have
\begin{align*}
L(P,f) - L(P_1,f)
&= m_k(f)\left(x_k - x_{k-1}\right) - m^\prime\left(z - x_{k-1}\right) - m^{\prime\prime}\left(x_k - z\right)\\
&\leq \Vert f\Vert_\infty\left(x_k - x_{k-1}\right) + \Vert f\Vert_\infty\left(z - x_{k-1}\right) + \Vert f\Vert_\infty\left(x_k - z\right)\\
&= 2\Vert f\Vert_\infty\left( x_k - x_{k-1}\right)\\
&\leq 2\Vert f\Vert_\infty\Vert P\Vert.
\end{align*}
The other inequality is similar.
This follows by adding one point at time and iterating the inequalities in 1.
Now, suppose $f\in \mathscr R[a,b]$. Let $\epsilon\gt 0$. Then we know that
$$
\underline{\int_a^b} f(x)\mathrm d x = \int_a^b f(x)\mathrm d x =
\overline{\int_a^b} f(x)\mathrm d x,
$$
so by properties of sup (and inf), there exist $P_1,P_2\in\mathscr P[a,b]$ such that if $P\in\mathscr P[a,b]$ with $P\supseteq P_1$ ($P\supseteq P_2$) then
\begin{gather*}
\int_a^b f(x)\mathrm d x - \frac\epsilon 2 \lt L\left(P_1,f\right)\\
\int_a^b f(x)\mathrm d x + \frac\epsilon 2 \gt U\left(P_2,f\right).
\end{gather*}
Let
$$
P=P_1\cup P_2 = \{x_0,\ldots,x_n\}
$$
and $\delta = \frac\epsilon {4n\Vert f\Vert_\infty}$. Let $Q$ be a partition of $[a,b]$, with $\Vert Q\Vert\lt \delta$. Then $P\cup Q$ is obtained from $Q$ by adding at most $n-1$ points. Remember that when you add points to a partition, lower sums increases and upper sums decreases, thus
\begin{gather*}
\int_a^b f(x) \mathrm d x -\frac\epsilon 2 \lt L(P_1,f)\leq L(P\cup Q,f) \leq L(Q,f) + 2(n-1)\Vert f\Vert_\infty\Vert Q\Vert.\\
\int_a^b f(x) \mathrm d x -\frac\epsilon 2 \lt L(Q,f) + 2(n-1)\Vert f\Vert_\infty \frac\epsilon{4n\Vert f\Vert_\infty}\\
\int_a^b f(x) \mathrm d x -\frac\epsilon 2 \lt L(Q,f) + \frac\epsilon 2 \\
\int_a^b f(x) \mathrm d x -\frac\epsilon 2 \lt \sum (Q^\ast,f) + \frac\epsilon 2\\
\int_a^b f(x) \mathrm d x \lt \sum(Q^\ast,f) + \epsilon.
\end{gather*}
Similarly, using upper sums we get
$$\int_a^b f(x) \mathrm d x \gt \sum(Q^\ast,f) - \epsilon.$$
Therefore $$\left| \int_a^b f(x) \mathrm d x - \sum(Q^\ast,f)\right|\lt \epsilon,$$
whenever $\Vert Q\Vert\lt\delta$, that is, $f$ is integrable according to Definition 1.
Notes This approach was found as Exercise 19 in Section 7.1 of the Spanish translation of Introduction to Real Analysis by Robert Bartle and Donald Shertbert. It was the second edition. Once I searched for that exercise in the newest edition. I couldn't fInd it. So Here it is.