עקרון שובך היונים – הבדלי גרסאות

אם יש m תאים בשובך שלתוכם יש להכניס n יונים, אז בהכרח בתא אחד יהיו לפחות <math> p= \lceil n/m \rceil</math> יונים או יותר, (p הוא המספר השלם הקרוב (בעיגולב[[פונקציית תקרה|עיגול כלפי מעלה]]) למספר: n/m). כלומר יש תא שמספר היונים בו הוא לפחות כמו הממוצע.