猫の存在価値≦xの存在価値
これは任意のxについて成立