Doob's $L^2$ Maximal Inequality