Divide both sides of the given equality by m1m2m3 and set a=m1n1, b=m2n2 and c=m3n3. The equality (m1−n1)(m2−n2)(m3−n3)=m1m2m3−n1n2n3 becomes
(1−a)(1−b)(1−c)=1−abc⟺a+b+c=ab+bc+ca
and we have to show that
(a+1)(b+1)(c+1)≥8⟺a+b+c+ab+ba+ca+abc≥7.(1)
Let a+b+c=ab+bc+ca=t. Since (a+b+c)2≥3(ab+bc+ca), we have t2≥3t, i.e. t≥3. Furthermore
a3+b3+c3≥a+b+c(a2+b2+c2)2=t(t2−2t)2=t(t−2)2
and
a3+b3+c3=(a+b+c)(a2+b2+c2−ab−bc−ca)+3abc=t(t2−3t)+3abc
imply 3abc≥t(t−2)2−t2(t−3)=4t−t2. Since (1) is equivalent to 2t+abc≥7, which is true for t≥23, it suffices to show that 2t+34t−t2≥7 for t∈[3,23]. The latter is equivalent to (t−3)(t−7)≤0, which is true for t∈[3,7].