Expected-time asymptotics for binary border aggregation
Expected-time asymptotics conjecture. The expectation satisfies