Problem

Source:

Tags: number theory, MONT



Let $m,n$ be distinct positive integers. Prove that $$gcd(m,n) + gcd(m+1,n+1) + gcd(m+2,n+2) \le 2|m-n| + 1. $$Further, determine when equality holds.