INFO:
Solution to an Erdos problem