Puppy Cat Dog proof of N Log N lower bound: https://www.youtube.com/watch?v=ByjmA0x_D2A
Sohum’s LSD introduction: https://youtu.be/tWZhdFzVqXY