this is 100% combo Sort the set in increasing order. Suppose that the $i$th element of the set is denoted as $a_i$. Define $b_i=a_i-i+1$. Note that $b_i$ is always a positive integer, and the list of values $b_i$ is always non-decreasing. Then just form a condition in $b_i$ and bash with casework.