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