[math-fun] A sequence concerning the abundancy index (long)