Assume that Alex is 74 years old at the end of year tired, and that his marginal tax rate us 25 percent his account balance in his traditional 401k was 1,250.000 at the end of last year. what is the minimum distribution Alex must receive from his 401k account for this year?