[math-fun] a hard sequence worthy of attention