(xn) is bounded below, and (yn) diverges to +