Update birthdays_paradox.tex