How to set an objective with number larger than such as 5?

Hi guys!
I have some objectives, with premise of one should be larger than 5, How to set this objective?