Monochromatic sums-and-products obstruction (source code)

= Monochromatic sums-and-products obstruction

There is a <finite coloring> of the <positive integer>[positive integers] for which no infinite set has all pairwise sums and pairwise products in one color. Refining this coloring by the parity of the <2-adic valuation> also prevents a constant infinite sequence from evading the obstruction.