[math-fun] Can this recurrence be solved in closed form?