A similar problem as before, is the integer sequence increasing?

this is my solution:

every $v in 1 to (count($sequence)-1) satisfies ($sequence[$v] lt
$sequence[$v+1])

Do you have a better one?

Cheers
Leo