固定一个大于 ∑i=1n∣ai∣\sum_{i=1}^n|a_i|∑i=1n∣ai∣ 的素数 ppp。由 P(0)=0P(0)=0P(0)=0、PPP 连续,且 an>0a_n>0an>0 使得 x→∞x\to\inftyx→∞ 时 P(x)→∞P(x)\to\inftyP(x)→∞,由介值定理存在实数 t>0t>0t>0 使 P(t)=pP(t)=pP(t)=p。