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!
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}.$