Proposition 13.4.1.label Let $[a, b] \subset \real$, $E, F, H$ be locally convex spaces, and $E \times F \to H$ with $(x, y) \mapsto xy$ be a continuous bilinear map, and $G: [a, b] \to F$.
Let $[\cdot]_{H}$ be a continuous seminorm on $H$, then there exists continuous seminorms $[\cdot]_{E}$ on $E$ and $[\cdot]_{F}$ on $F$ such that for any $f \in RS([a, b], G)$,
\[\braks{\int_a^bf dG}_{H} \le \sup_{x \in [a, b]}[f]_{E} \cdot [g]_{\text{var}, F}\]
Proof. By Proposition 11.2.2, there exists continuous seminorms $[\cdot]_{E}$ on $E$ and $[\cdot]_{F}$ on $F$ such that $[xy]_{H} \le [x]_{E}[y]_{F}$ for all $(x, y) \in E \times F$.
Let $(P = \seqfz{x_j}, c = \seqf{c_j}) \in \scp_{t}([a, b])$, then
\begin{align*}[S(P, c, f, G)]_{H}&\le \sum_{j = 1}^{n} [f(c_{j})[G(x_{j}) - G(x_{j - 1})]]_{H} \\&\le \sum_{j = 1}^{n} [f(c_{j})]_{E}[G(x_{j}) - G(x_{j - 1})]_{F} \\&\le \sup_{x \in [a, b]}[f]_{E} \cdot V_{2, P}(G) \le \sup_{x \in [a, b]}[f]_{E} \cdot [g]_{\text{var}, F}\end{align*}
$\square$