$M_X(0) = 1$

$M_X(t)$ is always differentiable at $t=0$

$M_X(t) > 0$ for all $t$

$M_X(t)$ uniquely determines the PDF if it exists in a neighborhood of 0