Существует ли оптимальное f ?

Оптимальность /в смысле максимизации капитала видна из того, что:

since G= ([J HPPv)'/r                       [1.14]

1=1

и

([jHPR)1/r= exp /SlnCIPR^                     [1.15]

Отсюда, согласно закону больших чисел в слабой форме или Центральной предельной теоремы теории вероятностей применительно к сумме независимых переменных (т. е. к числителю правой части выражения [1.15]), если максимизировать среднее геометрическое по всем периодам владения на достаточно большой выборке данных, то почти наверняка получим больший конечный капитал, чем с помощью любого другого решающего правила.

Кроме того, для доказательства оптимальности /мы можем также воспользоваться теоремой Ролля. Вспомните, что под оптимальностью мы понимаем то, что дает наибольший геометрический рост с увеличением количества испытаний. Поскольку показателем среднего геометрического роста является TWR, нам нужно доказать, что существует такое значение f при котором достигается максимум TWR.

Теорема Ролля утверждает, что если некая функция пересекает линию, параллельную оси х в двух точках а и Ь, и функция непрерывна на интервале [а, Ь], то на этом интервале существует по крайней мере одна точка, в которой первая производная этой функции обращается в нуль (т. е. имеется по крайней мере один относительный экстремум).

Поскольку все функции с положительным арифметическим математическим ожиданием пересекают ось х дважды* (в качестве оси х выступает ось f), при f = 0 и в той точке справа, где f дает такие расчетные HPR, что их дисперсия превосходит среднее арифметическое HPR минус один. Эти две точки будут определять наш интервал [а, Ь] на оси х. Далее, первая производная фундаментального уравнения торговли (т. е. оценочного TWR) будет непрерывна при всех f внутри данного интервала, поскольку /дает такие значения AHPR и дисперсии HPR внутри интервала, которые дифференцируемы на нем. Следовательно, оценочное TWR как функция от /непрерывна внутри интервала. Значит, согласно теореме Ролля, на этом интервале должен быть по крайней мере один относительный экстремум. Поскольку на этом интервале оценочное TWR положительно, то есть расположено над осью х, на нем должен содержаться, по меньшей мере, один максимум.

Фактически, на этом интервале может быть лишь один максимум, так как изменение среднего геометрического HPR (среднее геометрическое HPR является корнем степени Т из TWR), согласно теореме Пифагора, впрямую зависит от AHPR и дисперсии, когда оба они при изменении /изменяются в противоположных направлениях. Этим гарантируется единственность вершины. Таким образом, на данном интервале должен быть максимум, и он может быть только один.