Sharp lower bounds for the asymptotic entropy of symmetric random walks
v2: minor corrections v3: reorganization, stronger rigidity statements