My sequence is a function f:Z+→{H,T} to represent heads and tails. It is defined by
f(1),f(2),f(3)f(4),f(5)f(6), ...
= H,T,HH,HT,TH,TT,HHH,THH,HTH,...,
where you can see that I'm just taking all heads-tails sequences of length 1, then of length 2, etcetera. This ensures
(1) that the...