9. (This question is worth 16 points) Given the sequence $\left\{a_{n}\right\}: a_{1}=7, \frac{a_{n+1}}{a_{n}}=a_{n}+2, n=1,2,3, \cdots$. Find the smallest positive integer $n$ such that $a_{n}>4^{2018}$.