Added the inequality relationship between the amortized and actual costs.