summaryrefslogtreecommitdiff
path: root/support/easylatex/testFiles/inequalityAfterFirstEqnWithTextrm.txt
blob: d01b78ce16ccac82a0491a7b68296dbc13a7940c (plain)
1
2
3
4
5
6
7
8
9
10
11
12


C(v_1) + C(v_2) + C(v_5) + C(v_6)
\geq C(v_1) + C(v_2) + C(v_5) + C(v_6) - 2*c(v_1, v_2)
= C(v_1,v_2) + C(v_5) + C(v_6)
\geq C(v_1,v_2) + C(v_5) + C(v_6) - 2*c(v_1 v_2, v_6)
= C(v_1,v_2, v_6) + C(v_5)
\geq C(v_1,v_2, v_3) + C(v_5)  \textrm{if $v_6$ is connected to $v_1$ or $v_2$}
\geq  C(v_1,v_2, v_3) + C(v_5) - 2*c(v_1 v_2 v_3, v_5)
=  C(v_1,v_2, v_3, v_5)
\geq  C(v_1,v_2, v_3, v_4)   \textrm{if $v_5$ is connected to $v_1$ or $v_2$ or $v_3$}