任意の m、n∈N (m > n) に対して、
lcm(m, n) + lcm(m+1, n+1) > 2mn/{√(m-n)}