HRT's linear amenability bound conjecture
HRT's conjecture. The bound can be improved, perhaps even to
MathDB