[math-fun] Sequence relating to the Erdős–Straus conjecture