Which mathematical constant is defined as the unique positive real number that satisfies the equation x = 1 + 1/x?