>>801
正解です

>>802
f(n)の定数項は0ではないんですねw

lim[n→∞]p(f(n))＜+∞と仮定する。
f(n)の素因数になりうるものが、p(1)、…、p(k)のみとなる。
十分大きな整数s,tをとると、f(s・{p(1)・...・p(k)}^t)＞|{p(1)・...・p(k)}^t)|がいえる。
このとき、f(s・{p(1)・...・p(k)}^t)の素因数の候補は、p(1)、…、p(k)のみだから、
その中に、{p(i)}^tがf(s・{p(1)・...・p(k)}^t)を割り切るような、p(i)の存在が言える。
したがって、多項式f(n)の定数項cが{p(i)}^tで割り切れることが言えるが、
tを大きくとると、|c|＜{p(i)}^tとなるから矛盾。