Equality conjecture. For each fixed g∈Gg\in{\cal G}g∈G,
Optimality conjecture. Equality holds in the three displayed bounds above.