A first look at rigorous probability theory