Exercise 10, § 4

Let G be a Lie group over K. Show that there exists a neighbourhood V of e with the following property: for every sequence $(x_n)$ of elements of V, if we define inductively $y_1 = x_1, y_n = (x_n, y_{n-1})$, the sequence $(y_n)$ tends to e.