Find two positive real numbers with the given sum whose product is a maximum. The sum of the first and twice the second is 24