已知对任意x属于R,总有-3