We establish a sharp large deviation principle for the maximum order statistic of i.i.d. standard normal random variables on the Borel subsets of the positive real line. This result yields more accurate tail approximations than the classical Gumbel limit.
José Miguel Zapata (Tue,) studied this question.