Upper and lower envelopes of a sequence