[mappu]

That last paragraph sums it up pretty well. You're obviously correct, an inexhaustible function = infinite set is required.

Thanks!