Hello people,

I need some advice and help. First of all i am not a mathematician but know a thing or two, here and there. However i have no experience in proving theorems and cases. So if there is anyone patient out there please help. The problem I'm having is as follows:

I have an array of numbers A[0..n] (an interval to be more precise) and every number A[i] in this interval is associated with a number b such that:

if A[i] = b then A[i+1] >= b-1

So what i want to show is that |A[i..i+x]| +A[i+x+1] <= A[i] + A[j] for x<=j and i+A[i] = j holds. ## sorry about this it slipped (A[x] was corrected to A[x+i+1])

(|A[k..l]| means the length fo an onterval [k..l])

How would i approach this? what do i need to show first? Aer there more ways to prove the inequality?

baxy