There is a well-known theoretical result showing that there must exist a positive λ such that the training mean squared error of ridge regression dominates that of the ordinary least squares fit....

There is a well-known theoretical result showing that there must exist a positive λ such that the training mean squared error of ridge regression dominates that of the ordinary least squares fit. Design a simulation to test this claim empirically and describe the results.