Negating a Statement "At least K numbers are larger than W"

Question

What is the negation of "At least $K$ numbers are larger than $W$"?

Suppose if we set $j=$ number of numbers larger than $W$. Then, $$j \ge K$$ which negates as, $$j<K$$ which translates to $$\text{at most }K\text{ numbers are larger than }W$$

Am I right?

Thanks

Answer 1

The negation may be given by

Less than $K$ numbers are larger than $W$

or

Not up to $K$ numbers are larger than $W$