Yes, I goofed in the invariant 

Forum: U Chicago, Com Sci 221 old messages, autumn 2000
Re: Assignment #4, due 25 October (Mike O'Donnell)
Re: Invarient wrong in problem? (Chris Yang)
Date: 2000, Oct 24
From: Mike O'Donnell <odonnell@cs.uchicago.edu>

You are exactly right. I intended to write (X[I]<T for all I s.t. 1<=I<=L) and (X[J]>=T for all J s.t. U<=J<=N) I will fix the assignment page. Mike O'D.

Messages

to: "Yes, I goofed in the invariant"