RHS = 2007^(2*2007)
LHS = (2007+1)^(2007-1)*(2007-1)^(2007+1)
(2007 + 1) * LHS / (2007 - 1) = (2007+1)^(2007)*(2007-1)^(2007)
= ((2007+1) * (2007-1))^(2007)
= ((2007^2) - 1)^2007
Notice that (2007 + 1) * LHS / (2007 - 1) is <= than LHS + 1
but ((2007^2) - 1)^2007 is much smaller than RHS