[math-fun] Re: a hard sequence worthy of attention