実数列{a[n]}はn→∞でa[n]→0である。
このときlim[n→∞] (n^p)*a[n]が0でない定数に収束するような有理数pは、存在しても高々1つであることを証明せよ。