Gaussian maximal bound for Brownian motion
ID: gaussian-maximal-bound-for-brownian-motion
Stop the Exponential martingale for Brownian motion when first reaches or at . On the hitting event its value is at least , so that event has probability at most . Minimize over and apply the same bound to . The union bound gives the displayed inequality for ; at zero the probability is zero.
New to topics? Read the docs here!