I thank Ruihua Fan for inspiring me to read into Elliott Lieb's works. He has produced many wonders throughout his career through his sheer intellectual prowess. Although I cannot grasp many of his great works, here are some attempts:

Strong Subadditivity

Here is a small note on some inequalities that became useful during the journey:

Warmup: Trace Inequalities