Un teorema dando una solución en términos asintóticas para relaciones de recurrencia de la forma T(n) = aT(n/b) + f (n) donde un ≥ 1 y b > 1 son constantes y n/b significa ⌊ n/b⌋ o ⌊ n/b⌋.