% References cited in https://agora.t9k.dev/t/84/the-mahler-conjectures-functional-inequalities-and-polar-product-symple