Let $a$ and $b$ be real numbers such that $a < b$, and let $f \colon (a, b) \to \mathbb{R}$ be a strictly monotonic, continuous function. Then I can show that the range of $f$ is also an open interval $(c, d)$, where $-\infty \leq c < d \leq +\infty$. Thus the inverse function $g \colon (c, d) \to (a, b)$ exists and the inverse function $g$ is also strictly monotonic: $g$ is strictly increasing if $f$ is strictly increasing, whereas $g$ is strictly decreasing if $f$ is strictly decreasing. Moreover, $g$ is also continuous on all of (c, d). I can show this through the inverse images of open intervals argument.
Now my question is, how to prove the continuity of $g$ at an arbitrary point $q \in (c, d)$, using the $\varepsilon$-$\delta$ argument?
My Attempt:
Suppose $q \in (c, d)$, and let $\varepsilon > 0$ be given. Then we can find a unique point $p \in (a, b)$ for which $q = f(p)$. As $f$ is continuous at $p$, so we can find a real number $\delta > 0$ such that $$ \lvert f(x) - f(p) \rvert < \varepsilon $$ for every point $x \in (a, b)$ for which $$ \lvert x-p \rvert < \delta. $$ That is, $$ f(p) - \varepsilon < f(x) < f(p) + \varepsilon $$ whenever $$ a < x < b \ \mbox{ and } \ p-\delta < x < p + \delta. $$ The last statement is equivalent to saying that $$ f(x) \in \big( f(p) - \varepsilon, f(p) + \varepsilon \big) $$ whenever $$ x \in (a, b) \cap \big( p - \delta, p + \delta \big). $$
What next? How to proceed from here and show that the function $g$ is continuous at the point $q \in (c, d)$?
You can assume without loss of generality that $f$ is increasing. Take $\varepsilon>0$. Again, you can assume without loss of generality that $\varepsilon$ is so small that $(p-\varepsilon,p+\varepsilon)\subset(a,b)$. Let $\delta>0$ be so small that $(q-\delta,q+\delta)\subset\bigl(f(p-\varepsilon),f(p+\varepsilon)\bigr)$. Then\begin{align}|x-q|<\delta&\implies x\in\bigl(f(p-\varepsilon),f(p+\varepsilon)\bigr)\\&\implies g(x)\in(p-\varepsilon,p+\varepsilon)\\&\iff\bigl|g(x)-g(q)\bigr|<\varepsilon.\end{align}