Week 4

1.1. Probability formal definition