-<a href="https://www.codecogs.com/eqnedit.php?latex=\\&space;\mathbf{A[i]&space;+&space;A[j]&space;>=&space;j&space;-&space;i,&space;\,\,&space;\,&space;\,&space;i\ne&space;j}&space;\\&space;\\&space;{\color{Red}&space;\Rightarrow&space;\mathbf{A[i]&space;+&space;i&space;>=&space;j&space;-&space;A[j],&space;\,\,&space;\,&space;\,&space;i\ne&space;j}}" target="_blank"><img src="https://latex.codecogs.com/gif.latex?\\&space;\mathbf{A[i]&space;+&space;A[j]&space;>=&space;j&space;-&space;i,&space;\,\,&space;\,&space;\,&space;i\ne&space;j}&space;\\&space;\\&space;{\color{Red}&space;\Rightarrow&space;\mathbf{A[i]&space;+&space;i&space;>=&space;j&space;-&space;A[j],&space;\,\,&space;\,&space;\,&space;i\ne&space;j}}" title="\\ \mathbf{A[i] + A[j] >= j - i, \,\, \, \, i\ne j} \\ \\ {\color{Red} \Rightarrow \mathbf{A[i] + i >= j - A[j], \,\, \, \, i\ne j}}" /></a>
0 commit comments