Nonstrict inequality