I know that if a bunch of positive integers adds up to 2009, the greatest possible product of these numbers is (3^669) * 2. [3+3+3+...+3(this is the 669th 3) + 2 = 2009]. I am having a great deal of difficulty writing a formal proof as to why this is true.