MathCheck Array Claim Problem 6 / 15

The array `b` is indexed from `-1` to `m-1`. Write a predicate saying that the first element of `b` is not the smallest element of `b`. array_claim b[-1...m-1] f_nodes 20 EE i; 0 <= i < m: b[-1] > b[i] <=>

end_of_answer next_URL https://math.tut.fi/mathcheck/array_claim7.html

or