Objects never fall on the floor after N nudges in which N belongs to the set 2 + 3x, where x is a integer greater or equal to zero.

It's common cat knowledge.

That is what causes a greeble overflow error

While thing.location != The floor; do nudge(4)

If it's anything like my cat, it just moves onto the next object offending her by being on the table.