For any measurable set H⊂R , we define the sequence an(H) by the formula:
an(H)=λ([0,1]∖k=n⋃2n(H+log2k))
where λ denotes the Lebesgue measure and log2 denotes the binary logarithm. Prove that there is a measurable, 1-periodic, positive measure set H⊂R , such that the sequence an(H) does not belong to any space lp (1≤p<∞). [hide=not sure about this part]For what numbers 1≤p<∞ is it true that whenever H is 1-periodic, positive measure, the sequence an(H) belongs to the space lp? real analysisMeasure theory