Diminishing Marginal Productivity Implies Decreasing Total Product