A probabilistic proof of a formula for the number of Young tableaux of a given shape