Elliott H. Lieb: Entropy and entanglement bounds for reduced density matrices of fermionic states