Can someone confirm the validity of the section called ”Can we derive the James-Stein estimator rigorously?"?

The claim that the best estimator must be smooth seemed surprising to me.