Sharp large deviation estimates for Gaussian extrema

We establish sharp large-deviation asymptotic estimates for the maximum order statistic of i.i.d.\ standard normal random variables on all Borel subsets of the positive real line. This result yields more accurate tail approximations than the classical Gumbel limit.