\listfiles
\documentclass{jarticle}
\usepackage{amsmath,amssymb,framed,jverb,ascmac}

\begin{document}

\begin{framed}
\begin{jverbatim*}
実数$x > 0$について、次の不等式を証明せよ。
\begin{align}
\exp (x) &\geq 1+x\\
\log x &\leq 2 ( \sqrt {x} -1)
\end{align}
\end{jverbatim*}
\end{framed}
\vspace{-20pt}
$$
\Downarrow
$$
\begin{screen}
実数$x > 0$について、次の不等式を証明せよ。
\begin{align}
\exp (x) &\geq 1+x\\
\log x &\leq 2 ( \sqrt {x} -1)
\end{align}
\end{screen}

\end{document}
