>>218
有界閉集合上では?