ErdosProblems · test · AMS 5 11
easyknown result, no worker yet
Erdős Problem 36
Exercise 36 · Erdős
This example calculates the value of . The set is , so the only partition is
(or vice versa). The possible differences are and .
The Overlap for is 1 (if ) and for also 1 (if ).
The MaxOverlap is , since the Overlap is for other .
Thus, .
Formal statement · Lean 4.lean
theorem M_one : M 1 = 1 := by
sorryProof. sorry
Nobody has tried yet.