a[n]のオーダーがO(n)になる理由がわからん。
確かにそれを仮定すれば、p^nの項を潰すようにaを決められるな。