User blog comment:Fejfo/bitstring lexographical notation/@comment-34422464-20190913142806

Why are there issues with finding the first infinite descending sequence?