master theorem for recurrence