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