2 ms·

You can prove things even if then input domain has infinite size. For example n < n + 1 is always true. It's trivial to prove this. Yet the n can have infinite

You can prove things even if then input domain has infinite size. For example n < n + 1 is always true. It's trivial to prove this. Yet the n can have infinite different values.

XCSme 4y ago
True. Just one note, there are still edge cases, if n overflows the data type, you would have n > n + 1
- rowanG077 4y ago
  Very pedantic but: In that case the size of the domain of n is not infite.