∑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)→∞ なので、中間値の定理より P(t)=pP(t)=pP(t)=p を満たす実数 t>0t>0t>0 が存在する。