a_(n+1)やa_nのように表すことをご了承ください。
a_(n+1)=(1/3)a_nの関係は、a_1, a_2, …, a_n, …と続く全ての隣接項で成り立ちます。
言い換えれば、a_1をスタートとして、ある項の1/3倍がその次の項であるような関係がずっと続いているわけです。
それゆえに→の後の一般項の式が出てきます。
因みにこの関係は、これはa_1を初項とする公比1/3の等比数列と全く同じ関係になっているので、この問題の一般項の求め方がわからない場合は、等比数列の一般項の求め方を調べると良いと思います。