IMO 1985 LL CUB17

Set

IMO 1985 LL CUB17

Origin: CUB

Problem

Set An = n  k=1 k6 2k . Find limn\to\inftyAn.