Real analysis and probability