Reordenando:
[(X+1)(1+2+...+(X+1)+(X+2))] > [(X+1) (1+2+...+(X-1)] + X(X+1) +X + + (1+2+...+X) +(X+1)+(X+2))
Así: [(X+1)(1+2+...+(X+1)+(X+2))] > (X+2)(1+2+....+X) + (X+1) + (X+2)
Obviamente, será también cierto que: [(X+1)(1+2+...+(X+1)+(X+2))] > (X+2)(1+2+....+X)