[math-fun] Possible linear recurrence