Sean $m,n$ enteros positivos distintos. Demuestre que $$\gcd(m,n) + \gcd(m+1,n+1) + \gcd(m+2,n+2) \le 2|m-n| + 1. $$ Además, determine cuándo se cumple la igualdad.