Приложение П.6.1. Верхняя граница среднего нормированного времени поиска

Покажем, что при выполнении условия (6.50) неравенство (6.51) выполняется при . Для этого достаточно показать, что

.               (П.6.1.1)

Обозначим . Используя (6.25)-(6.29), непосредственной проверкой убеждаемся, что . Очевидно,

.                       (П.6.1.2)

Найдем нижнюю границу в (П.6.1.2). Поскольку , то . Найдем . Используя известное соотношение [69]

,

получим [66]

               (П.6.1.3)

Следовательно, для  при выполнении (6.50)

,

что и требовалось доказать (П.6.1.1).