inequalities, positive integers, guessing theory