x^{\lim_{n\rightarrow+\infty}y_n}=\lim_{n\rightarrow+\infty}y_{n+1},