Thanks for that observation; it should be >=.

I will leave that as it is so that your comment makes sense; let this be the erratum.