Следствие: пусть
определена для и удовлетворяеттогда
(2.2.9)Эти теоремы [6] применим к проблеме парковки, так как
удовлетворяет уравнению , (учитываем, что из (2.1.9)), где ,(По теореме 1
непрерывна для и такова, что в предположении , мы имеем , тогда существует такая, что полагая имеем )то по теореме 1 получается, что:
(2.2.10)существует, и что для каждого
: (2.2.11).При
из условия , получаем, чтоТак как
и приближаются к очень быстро, то из (2.2.11) получается хорошая аппроксимация.Так как
для , то грубое приближение дает ,следовательно по теореме 1 при условии
следуетТеорема 3: существует постоянная
такая, что математическое ожидание величины удовлетворяет соотношению ( ) (2.2.13) [6]Используя формулу Стирлинга
, получим (2.2.14)Определим
и : , гдеИз условия
, при получаем , ( ) (2.2.15),учитывая, что
- левая часть выражения (2.2.14), следовательно (2.2.15),таким образом,
удовлетворяет ( ),где
оценено формулой (2.2.15).Из этих условии следует
Теорема 4: существует постоянная
такая, что дисперсия величины удовлетворяет соотношению [6].Рассмотрим соотношение:
(2.2.16).Докажем, что случайная величина
имеет асимптотически нормальное распределение с параметрами при .Для доказательства воспользуемся двумя леммами.
Лемма 1: пусть
неотрицательная функция, определенная при , ограниченная на конечных интервалах и удовлетворяющая соотношению , тогда при выполняется , где взят по всем наборам неотрицательных , при .Лемма 2: рассмотрим
такое, что для всех - независимых случайных величин, которые удовлетворяют (2.2.17)следует, что функция распределения
приближается равномерно по к нормальному распределению с нулевым математическим ожиданием и единичной дисперсией.Пусть
фиксированная неотрицательная целочисленная функция от , определенная при и удовлетворяющая условию и .