OP-01029 Solution claimed Open subsets of [0, 1] of measure above 1/3 contain a solution of xy = z CA · additive combinatorics · measure theory · product-free sets · sum-free sets