Vì: a>2 => a=2+m
b>2 => b=2+n (m, n thuộc N*)
=> a+b= (2+m) +(2+n)
a.b= (2+m). (2+n)
= 2(2+n)+ m(2+n)
= 4+ 2n+ 2m+ mn
= 4+ m+ m+ n+ n+ mn
= (4+ m+ n) +(m +n +mn)
= (2+ m) +(2+ n) + (m+ n+ mn) > (2+ m)+ (2+n)
=> a.b > a+b .dpcm