arithmetic recurrence relation