On the completeness of the space $\mathcal{O}_C$

We give a new proof of the completeness of the space $\mathcal{O}_C$ by applying a criterion of compact regularity for the isomorphic sequence space $\lim_{k\rightarrow} (s\hat \otimes (\ell^\infty)_{-k})$. Along the way we show that the strong dual of any quasinormable Fréchet space is a compactly regular $\mathcal{LB}$-space. Finally, we prove that $\lim_{k\rightarrow}(E_k\hat \otimes_ιF) = (\lim_{k\rightarrow} E_k) \hat \otimes_ιF$ if the inductive limit $\lim_{k \rightarrow}(E_k \hat \otimes_ιF)$ is compactly regular.