Erdős–Graham problem (source code)

= Erdős–Graham problem
{wiki=Erdős–Graham_problem}