Proving Optimality for the 100 Prisoners Problem | Hacker News Reader