[math-fun] Siimple probability problem