Kac's lemma

Kac's lemma, named after mathematician Mark Kac, is a result in probability theory concerning the expected value of a function of a random variable. It is particularly useful in the context of stochastic processes and the study of Brownian motion.