show/hide this revision's text 2 added 47 characters in body

Undeleted for the sake of a full record

Your inequality seems to follow easily from the Brunn-Minkowski inequality. Namely,

$$ |(K+L)/2|^2 \ge \left[|K/2|^{1/n}+|L/2|^{1/n}\right]^{2n} \ge\left[4|K/2|^{1/n}|L/2|^{1/n}\right]^{n} =|K||L|\text. $$

    Post Undeleted by Yoav Kallus
    Post Deleted by Yoav Kallus
show/hide this revision's text 1