Re: [math-fun] Erdos-Bacon number