Transitivity of Big-O Estimates