recurrence relation in discrete mathematics