すなわち、は有界、は任意のスカラーとして