Returns true iff the progression contains no values. i.e. first<last if step is positive, or first last if step is negative.