משפטי שנירלמן

משפטי שנירלמן בוחנים כמה מספרים מקבוצה מופיעים בין 1 ל־n. את זה קוראים צפיפות שנירלמן. אם יש הרבה מספרים בשתי קבוצות, החיבור שלהן מכסה מספרים רבים. 1) הצפיפות של A+B גדולה לפחות כמו סכום הצפיפויות של A ו־B פחות המכפלה שלהן. 2) אם ביחד יש יותר מ־n−1 איברים עד n אז המספר n ניתן לכתיבה כסכום של איבר מ...