I don't have any idea where to start.

Please give me hint(s) to prove the following:

Let be a group with be of infinite order.

Let for every positive integer .

If there exists a normal subgroup of finite index in such that for some positive integer , show that .