  In holographic duality, boundary states that have semiclassical bulk duals
must obey inequalities, which bound their subsystems' von Neumann entropies.
Hitherto known inequalities constrain entropies of reduced states on up to
$N=5$ disjoint subsystems. Here we report one new such inequality, which
involves $N=7$ disjoint regions. Our work supports a recent conjecture on the
structure of holographic inequalities, which predicted the existence and
schematic form of the new inequality. We explain the logic and educated guesses
by which we arrived at the inequality, and comment on the feasibility of
employing similar tactics in a more exhaustive search.

High Energy Physics - Theory