Which executable property rules out both too few and unnecessarily many pages?

Which executable property rules out both too few and unnecessarily many pages?

1. pages × pageSize >= total, and when pages > 0, (pages - 1) × pageSize < total
2. pages is non-negative
3. pages is an integer
4. pageSize is no larger than total