summaryrefslogtreecommitdiff
path: root/support/easylatex/testFiles/inequalityAfterFirstEqn.txt
blob: f5fbdacf61a012cf21b2dc0edb9312f9aed18f21 (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)
\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)