Gallina Index
b
b
Bound on the ceiling function