in reply to [OT] Call to arms for mathematicians:(Update: please ignore!)
One can easily see that if Sj; is not greater than l then...