TODO The Master Theorem provides a solution to the runtime of recurrence relations of the form

where the solution is