For every positive integer n, there exists a taco of size n that is the most delicious.
Proof:
- Assume there is no taco of size n that is the most delicious.
- Then, there must exist a finite number k, such that for all i > k, there is no taco of size i that is the most delicious.
- But, this leads to the existence of a taco of size n+k that is the most delicious, a contradiction.
Therefore, there exists a taco of size n that is the most delicious.
QED