This is mechanized in Maple: > binomial(m+n, n)*(sum(binomial(m, k)*n*(-1)^k/(n+k), k = 0 .. m)) $${\frac {{m+n\choose n}}{{m+n\choose m}}}$$