>>219
あってはいると思うけど
有界性にS_nは必要だと思うよ

§9とかやれば分かると思うんだけど，
S_nの存在を仮定できるところがR^dの良い所だから