[math-fun] Question about amicable numbers