text: Вторая (строгая) теорема Сегё утверждает, что если дополнительно потребовать, чтобы производная φ была гельдеровой функцией порядка α > 0, то справедливо lim n → ∞ det T n ( ϕ ) G n ( ϕ ) = exp ⁡ { ∑ k = 1 ∞ k | ( log ⁡ ϕ ) ^ ( k ) | 2 } . {\displaystyle \lim _{n\to \infty }{\frac {\det T_{n}(\phi )}{G^{n}(\phi )}}=\exp \left\{\sum _{k=1}^{\infty }k\left|{\widehat {(\log \phi )}}(k)\right|^{2}\right\}.} Böttcher, Albrecht.