Skip to content

Erdős problem 36

This example calculates the value of M1M 1. The set is {1,2}\{1, 2\}, so the only partition is A={1},B={2}A = \{1\}, B = \{2\} (or vice versa). The possible differences are 1−2=−11 - 2 = -1 and 2−1=12 - 1 = 1. The Overlap for k=−1k=-1 is 1 (if A={1},B={2}A=\{1\}, B=\{2\}) and for k=1k=1 also 1 (if A={2},B={1}A=\{2\}, B=\{1\} ). The MaxOverlap is 11, since the Overlap is 00 for other kk. Thus, M1=1M 1 = 1.

Sources

The source's own material, retained exactly.

18 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

36.lean

Retained formal statement1 of 18

Find the value of the limit of MinOverlapQuotient!

FormalConjectures/ErdosProblems/36.leanErdos36.erdos_361 lineExact file
Filter.Tendsto Erdos36.MinOverlapQuotient Filter.atTop (nhds sorry)
OpenStatement only, no proof