2 ms·

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