===\( an \)を\( n+a \)に変えて再計算する===
\( n > 10a, \log{(n+a)} < n, n + a < n^{1.1}, n geq 11 \)とする
このとき\( n + a < 1.1n \)である
\( \begin{align*}
& N' \\
<& \frac{1}{2} \cdot (2(n+a) \log{(n+a)})^{(n+a)} \cdot (n+a) \\
=& \frac{1}{2} \cdot 2^{(n+a)} \cdot (n+a)^{n+a} \cdot (\log{(n+a)})^{n+a} \cdot (n+a) \\<& n^1 \cdot n^{(n+a)\log_n{2}} \cdot WIPn^{1.1(n+a)} \cdot n^{n+a} \cdot n^{1.1} \\<& n^1 \cdot n^{0.3(n+a)} \cdot n^{1.1(n+a)} \cdot n^{n+a} \cdot n^{1.1} \\<& n^{2.4n+2.4a+2.1}
\end{align*} \)