I promised myself I was going to stop getting sucked into pedantry.
I believe that the sense in which he meant 'by definition' is that it's tautological to say that more of something is more than less of something.
For n > 0, 2n > n
I believe that the sense in which he meant 'by definition' is that it's tautological to say that more of something is more than less of something.
For n > 0, 2n > n