[math-fun] Does this int seq have a name?