P
Initializing...
Sleator–Tarjan: move-to-front is $2$-competitive for list accessing · Prove2Me