Ahlswede–Daykin inequality
[bs] Ahlswede–Daykinova nejednakost