13. Let x be any positive real number, and define a sequence (an)-1 by [x] + [2x] + + [mx] n an where [x] is the largest integer less than or equal to x. Prove that {an)-1 converges to x/2.