For a differentiable function $f$ show that $\{x:\limsup_{y\to x}|f'(y)|<\infty\} $ is open and dense in $\mathbb R$

As the title says, given a differentiable function $f: \ \mathbb R \to \mathbb R$ define

$$E=\{x:\limsup_{y\to x}|f'(y)|<\infty\} $$

and show that $E $ is open and dense in $\mathbb R$.

Here $\limsup_{y\to x}|f'(y)| $ is defined as $\lim_{\epsilon \to 0} (\sup \{|f'(y): y \in B_{\epsilon } (x) \setminus \{x \} \}) $.

I suppose this should be solved with an application of Baire's category theorem but I'm quite at loss on how to proceed!

Any help would be much appreciated!

To show that $E$ is open: Let $F=E^{c}=\{x\mid\limsup_{y\rightarrow x}|f'(y)|=\infty\}$. We go to show that $F$ is closed. Let $(x_{n})$ be a sequence in $F$ and suppose that $x_{n}\rightarrow x$ for some $x\in\mathbb{R}$. We prove that $x\in F$ by contradiction. Suppose the contrary that $x\notin F$. Choose $M>0$ such that $\limsup_{y\rightarrow x}|f'(y)|<M$. There exists $\delta>0$ such that $|f'(y)|<M$ whenever $y\in(x-\delta,x+\delta)\setminus\{x\}$. Since $x_{n}\rightarrow x$ and $x_{n}\neq x$, there exists $n$ such that $x_{n}\in(x-\delta,x+\delta)\setminus\{x\}$. Without loss of generality, we suppose that $x<x_{n}<x+\delta$. Choose $\varepsilon>0$ be sufficiently small such that $x<x_{n}-\varepsilon<x_{n}<x_{n}+\varepsilon<x+\delta$. Since $\lim_{y\rightarrow x_{n}}|f'(y)|=\infty$, there exists $y_{0}\in(x_{n}-\varepsilon,x_{n}+\varepsilon)\setminus\{x_{n}\}$ such that $|f'(y_{0})|>2M$. Note that $y_{0}\in(x-\delta,x+\delta)\setminus\{x\}$, so we also have $|f'(y_{0})|<M$, which is a contradiction.

In the above, we have not used any properties about $f$ nor its derivative $f'$. That is, that $F$ is closed continues to hold if $f'$ is replaced by an arbitrary function $g:\mathbb{R}\rightarrow\mathbb{R}$.

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

To show that $E$ is dense: Note that $E^{-}=\mathbb{R}$ iff $\emptyset=E^{-c}=\left(E^{coc}\right)^{c}=F^{o}$. That is, we need to show that $F$ has empty interior. Prove by contradiction. Suppose that there exist $\alpha<\beta$ such that $(\alpha,\beta)\subseteq F$. For each $n\in\mathbb{N}$, let $A_{n}=\{x\in(\alpha,\beta)\mid f'(x)\in(-n,n)\}$, which is a $F_{\sigma}$-subset of the topological space $(\alpha,\beta)$ (See Theorem 2 in the appendix). For each $n$, write $A_{n}=\cup_{k}F_{nk}$, for some closed subsets $F_{nk}$ of $(\alpha,\beta)$. Note that $(\alpha,\beta)=\cup_{n} A_n=\cup\{F_{nk}\mid n,k\in\mathbb{N}\}$. Since $(\alpha,\beta)$ is a Baire space, by Baire Category Theorem, there exist $n,k$ such that $F_{nk}$ has non-empty interior. That is, there exist $\alpha'<\beta'$ such that $(\alpha',\beta')\subseteq F_{nk}\subseteq A_{n}$. Choose $x_{0}\in(\alpha',\beta')$. Note that $x_{0}\in F$, so there exists a sequence $(x_{k})$ with $x_{k}\neq x_{0}$, $x_{k}\rightarrow x_{0}$, and $|f'(x_{k})|\rightarrow\infty$. Observe that $x_{k}\in(\alpha',\beta')$ for large $k$ and hence $|f'(x_{k})|<n$, contradicting to $|f'(x_{k})|\rightarrow\infty$.

////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

Appendix. We state and prove the following theorems.

Theorem 1: Let $X$ be a topological space. Let $f_{n}:X\rightarrow\mathbb{R}$ and $f:X\rightarrow\mathbb{R}$. Suppose that $f_{n}$ is continuous and $f_{n}(x)\rightarrow f(x)$ for each $x\in X$. Then, for each open subset $O\subseteq\mathbb{R}$, $f^{-1}(O)$ is a $F_{\sigma}$-subset of $X$ (i.e., countable union of closed subsets).

Proof of Theorem 1: See my other post $f_n\rightarrow f$ pointwise, $O$ open subset of $\mathbb{R}$ $\Rightarrow$ $f^{-1}(O)$ is $F_{\sigma}$

Theorem 2: Let $f:\mathbb{R}\rightarrow\mathbb{R}$ be a differentiable function. If $O\subseteq\mathbb{R}$ is open, then $f'^{-1}(O)$ is a $F_{\sigma}$-set.

Proof of Theorem 2: For each $n$, let $f_{n}:\mathbb{R}\rightarrow\mathbb{R}$ be defined by $f_{n}(x)=n\left[f(x+\frac{1}{n})-f(x)\right]$. Note that $f_{n}$ is continuous and $f_{n}(x)\rightarrow f'(x)$ for each $x\in\mathbb{R}$. Now, the result follows from Theorem 1.