Can we show that the CDF of the Poisson distribution with mean $\lambda$ is decreasing in $\lambda$?

Can we show that the CDF of the Poisson distribution with mean $\lambda$ is decreasing in $\lambda$?

So far this is what I have:

\begin{align*} \dfrac{\partial}{\partial \lambda} \bigg(e^{- \lambda} \sum_i^t \dfrac{\lambda^i}{i !} \bigg) < 0 &\iff -e^{-\lambda} \sum_i \dfrac{\lambda^i}{i !} + e^{-\lambda} \sum_i i \dfrac{\lambda^{i-1}}{i !} < 0 \\ &\iff \sum_i i \dfrac{\lambda^{i-1}}{i !} < \sum_i \dfrac{\lambda^i}{i !} \\ &\iff \sum_i \dfrac{\lambda^{i-1}}{(i-1) !} < \sum_i \dfrac{\lambda^i}{i !} \\ &\iff \sum_i \dfrac{\lambda^{i-1}}{(i-1) !} < \lambda \sum_i \dfrac{\lambda^{i-1}}{i !} \\ \end{align*} This is where I get stuck so if anybody has any help to offer with respect to proceeding from here please let me know. Thanks!


You were almost there. At the very last step, do NOT factor out $\lambda$. Rather, notice that the two sums are identical, except that the sum in the RHS (right-hand side) has ONE MORE TERM than the one on the LHS. All the other terms are exactly the same. It would also help to keep careful track of the limits of summation; the LHS starts from $i=1$. Substitute $j$ for $i-1$ in the LHS to understand what is happening.


In fact, it should be $$\dfrac{\partial}{\partial \lambda}\left(e^{-\lambda}\sum_{i=0}^k\frac{\lambda^i}{i!}\right) = -e^{-\lambda}\sum_{i=0}^k\frac{\lambda^i}{i!} + e^{-\lambda}\sum_{i=1}^ki\frac{\lambda^{i-1}}{i!} = -e^{-\lambda}\sum_{i=0}^k\frac{\lambda^i}{i!} + e^{-\lambda}\sum_{i=0}^{k-1}\frac{\lambda^{i}}{i!} = -e^{-\lambda}\frac{\lambda^k}{k!} < 0.$$


Start by doing it for $t\in[2,3).$ So you save $$ \frac{d}{d\lambda}\left(e^{-\lambda}(1+\lambda + \frac{1}{2}\lambda^2)\right) = -e^{-\lambda}(1+\lambda+\frac{1}{2}\lambda^2)+e^{-\lambda}(1+\lambda) = -\frac{1}{2}\lambda^2e^{-\lambda}.$$ Yep, negative.

If you don't already see how it's going to go for arbitrary $t$, try it for $t\in [3,4).$ It might help to remember that the $(1+\lambda + \frac{1}{2}\lambda^2+\ldots)$ factor is the Taylor series for $e^{\lambda}.$