Cumulative Distribution Function
The logical analog of the CDF we compute by integration for a continuous distribution is computed by summation for a discrete random variable.
In[53]:=