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

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.