[math-fun] Re solving for a sequence