It is known now that {g2n-i} '
ls monotonically Increasing, bounded above by a + 1, and {g2n}
is monotonically decreasing, bounded below by a. Thus, limits exist for both of the sequences.
Denote by goM =: l i m ^ g2n_x, gQVQn =: l i m ^ g2n. Then Proposition 3.2 implies ^odd < ^even.
Our aim, here is to show that godd = gGVmy which is included in the following theorem.