Hey everyone, I am trying to develop a predicate for the following sentence...

In the array segment g[m...n) there are at least three occurrences of values greater than x.

So far, I have:

Where "A" should be the "For all" quantifier. Now, I guess my question is, how do I express "at least three occurrences of values"?

I need to somehow show that there are at least three values contained in the array which are larger than x (whatever it may be). So, if I can show three values in the array, then we know there are exactly three values which can be greater than x. But there could be five values, or twelve values. So would the three translate to >=3 to express the "at least"?

Thanks!