本稿では、はよりも強いことを見ていきます。は正の実数です。つまり、
\begin{equation}
\lim_{x \to \infty} \frac{x^r}{e^x} = 0
\end{equation}
であることを示します。の指数部分は、負でさえなければ整数でなくともよいということです。
任意の正の実数に対し、
\begin{equation}
n -1 < r \leqq n
\end{equation}なる自然数が存在します。
のとき、
\begin{equation}
x^r \leqq x^n
\end{equation}です。
これより、
\begin{equation}
0 < \frac{x^r}{e^x} \leqq \frac{x^n}{e^x}
\end{equation}となります。
ここで、
\begin{equation}
\lim_{x \to \infty} \frac{x^n}{e^x} = 0
\end{equation}なので、
\begin{equation}
\lim_{x \to \infty} \frac{x^r}{e^x} = 0
\end{equation}となります。
関数の極限 はさみうちの原理 - 数式で独楽する
x^n/e^xの極限 - 数式で独楽する
は、よりも強いのです。