[math-fun] Re: A100832: What exactly are amenable numbers?