先化简，再求值：，其中是不等式 的最大整数解。