Thus , the heavy traffic limit theorem ( Theorem 1 ) is heuristically argued . Formal proofs usually follow a characteristic approach which involve different functions .
Thus , the heavy traffic limit theorem ( Theorem 1 ) is heuristically argued . Formal proofs usually follow a different approach which involve characteristic functions .