Mathematics for the Analysis of Algorithms