← A Rigorous Introduction to Brownian Motion