Making a logical statement

35 Views Asked by At

Not ( every positive $n$ is bigger than $n^2$/it's square)

I thought about:

$$ \neg \forall n( (n>0) \rightarrow (n^2 < n)) $$

Is it true? I don't think it makes the right sense... Thanks