поэтому, используя выражения
получаем
Из следствия 5.2.2 вытекает, что для фиксированного
По теореме о доминируемой сходимости отсюда следует, что
т. е. выполняется (6.5.2).
Следствие 6.5.2. Предположим, что выполнены условия теоремы 6.5.1 и что
непересекающиеся борелевские множества на
границы которых имеют нулевую меру Лебега. Тогда
сходится к правой части (6.5.1). В частности, при
Из этого результата мы видим (как отмечалось в разд. 6.4), что асимптотическое распределение максимума теперь уже является сверткой распределения типа I с нормальным распределением
но здесь все еще возможно использовать «классические» нормализующие постоянные. Можно также отметить, что указанные результаты можно непосредственно обобщить на случай пересечений двух или более последовательных уровней. Однако, чтобы избежать повторений, мы опустим детали.