Solution:
a) It suffices to prove that every normed sequence a1,a2,…,a2n+1 is embeddable in some interval of length 2−2n1. We prove the claim by induction on n. It is true for n=0; let n⩾1. By the induction hypothesis there exists a sequence x0,x1,…,x2n−1∈[0,2−2n−11] such that ∣xi−xi−1∣=ai for i=1,…,2n−1. Without loss of generality, we shall assume that x2n−1⩽1−2n1.
(1) If a2n⩾2n1, we can take x2n=x2n−1+a2n∈[1,2−2n1] and x2n+1=x2n−a2n+1∈[0,2−2n1], whereby the sequence is embedded in the interval [0,2−2n1].
(2) If a2n<2n1, we shall take x2n=x2n−1−a2n∈[−2n1,1−2n1] and x2n+1=x2n+a2n+1, whereby the sequence is embedded in one of the intervals [0,2−2n1] and [−2n1,2−2n−11].
b) Let us denote N=3⋅2n−1−1. We shall prove that the sequence of length 4n−1
1,1−N1,1,1−N2,1,1−N22,…,1,1−N2n−1,1,1−N2n−2,1,…,1−N2,1,1−N1,1
cannot be embedded in the interval (−1+2N1,1−2N1), from which the claim follows.
Assume the contrary. By a simple induction one proves that:
(i) ∣x2i∣<1−2N2i+1−1 and ∣x2i+1∣>2N2i+1−1 for i=0,…,n;
(ii) ∣x2i∣<2N22n+2−i−1 and ∣x2i+1∣>1−2N22n+2−i−1 for i=n+1,…,2n+1.
Thus for x4n+3 we obtain a contradiction.