User blog comment:Fejfo/Pythagorian Triple Ramsey Function/@comment-31966679-20180624003128

Cool! I'll try and see whether \(\pi(3)\) is well-defined or not.