===\( an \)を\( n+a \)に変えて再計算する===
\( \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 WIP\end{align*} \)