Find two positive real numbers whose product is a maximum.
The sum of the first and three times the second is 30
The sum of the first and three times the second is 30