Quantitative inequalities for the expected lifetime of Brownian motion | Arena Library | Arena