Talk:Erdős–Nicolas number