x_n > 0