假设是的无偏估计量，即 然后乘以并调用 MacLaurin 系列的我们可以将等式写成 $g(X_0, \ldots, X_n)$$1/\lambda$

$$\sum_{(x_0, \ldots, x_n) \in \mathbb{N}_0^{n+1}} g(x_0, \ldots, x_n) \frac{\lambda^{\sum_{i=0}^n x_i}}{\prod_{i=0}^n x_i!} e^{-(n + 1) \lambda} = \frac{1}{\lambda}, \quad \forall \lambda > 0.$$ $\lambda e^{(n + 1) \lambda}$$e^{(n + 1) \lambda}$ $$\sum_{(x_0, \ldots, x_n) \in \mathbb{N}_0^{n+1}} \frac{g(x_0, \ldots, x_n)}{\prod_{i=0}^n x_i!} \lambda^{1 + \sum_{i=0}^n x_i} = 1 + (n + 1)\lambda + \frac{(n + 1)^2 \lambda^2}{2} + \ldots , \quad \forall \lambda > 0,$$ 我们有两个幂级数相等，其中一个有常数项（右手边），另一个没有：矛盾。因此不存在无偏估计量。