Moin,
für einen Beweis fehlt mir folgender Zwischenschritt:
Seien x, y \in N
Offensichtlich gilt: Wenn x mod m != y mod m, dann ist x != y.
Ich möchte nun zeigen, dass für jede denkbare Kombination von x und y das kleinste m = m_min <= log(x+y) ist.
Das Argument hat irgendwas mit Primzahlen zu tun, aber ich werde aus meiner eigenen Mitschrift nicht ganz schlau.