Oletetaan, että mittarit Y1, Y2, … ovat suorituskykymittareiden sarja, jotka kuuluvat joukkoon (0,∞)^d ja joiden empiirinen jakauma ρt lähestyy ψ-heikkosti tiettyä μψ ∈ M1 arvoa, kun t → ∞. Tällöin pätee seuraava raja-arvo:

1tlogV^ttF(μ)=limt1tlogVt\frac{1}{t} \log \hat{V}_t \xrightarrow{t \to \infty} F^*(\mu) = \lim_{t \to \infty} \frac{1}{t} \log V^*_t