
'den az olmayacak şekilde obje barındırır şeklindedir,
tavan fonksiyonudur (en: ceiling function), x'den büyük x'e en yakın veya x'in kendisi olan tam sayıya eşitler. Olasılıksal genelleştirilmesi; eğer n güvercin rastgele m adet güvercin deliğine 1 / m olasılıkla koyulursa en az bir güvercin deliği