Theorem 5.3.13. Using Discrete Distribution Function to compute probabilities. For \(x \in R, f(x) = F(x) - F(x-1)\)