Extending classical black hole inequalities into the quantum realm