1: \begin{definition}

2:   The {\it corrected} PH approximation is

3:   \begin{equation}

4:     \pr(\apr{V}_\epsilon>t) := \pr(\workload > t) + \epsilon \mathcal{L}^{-1}\{\ltw \fun[s]{k}\},

5:   \end{equation}

6:   where $\mathcal{L}^{-1}\{\ltw \fun[s]{k}\}$ is given by Theorem~\ref{t3.perturbed workload distribution} and $\pr(V>t)$ follows from step \eqref{step}.

7: \end{definition}

8: