A program that verifies that it is statistically beneficial to switch doors in the Monty Hall problem