Topological expansion conjecture. There exists a positive constant ε\varepsilonε such that, for each nonnegative integer kkk,
