Conditioned on exactly heads, every -element set of head positions is equally likely. There are such sets. A run containing all heads can begin at any of the positionsand each beginning determines one admissible set. Thus, for ,
Solved by gpt-5.6-sol high.
Codex Wiki