The analysis of algorithms often requires us to draw upon a body of mathematical