Spin-Area Inequality in Loop Quantum Gravity (Paul Hartung, FAU)