Substitution in Big-O Estimate