|
|
|
== Óbein sönnun ==
Gerum ráð fyrir því að engin skúffa inniheldurinnihaldi meirafleiri en <math>\left\lceil \frac{k}{N} \right\rceil - 1</math> hluti. Þá er heildarfjöldisamanlagður fjöldi hluta aðí hámarkiskúffum lægri en ''k''.
:<math>kN \left( \left\lceil \frac{k}{N} \right\rceil - 1 \right) < kN \left( \left( \frac{k}{N} + 1 \right) - 1 \right) = N \left( \frac{k}{N} + 1 - 1 \right) = k</math>,
þar sem að ójafnan <math>\left\lceil \frac{k}{N} \right\rceil < \left( \frac{k}{N} + 1 \right)</math> er notuð. Þetta leiðirer tilmótsögn: mótsagnar''k'' hlutir voru upphaflega settir í skúffurnar og eru þar semenn. Því hlýtur að umvera ''til skúffa sem inniheldur fleiri en <math>\left\lceil \frac{k''}{N} \right\rceil - 1</math> hluti. erSú skúffa inniheldur að ræðalágmarki <math>\left\lceil \frac{k}{N} \right\rceil</math> hluti.
== Dæmi ==
|