可以用取整符号么,向下取整（取比 9/7 小的最大整数）
- [9/7]+5=4
还可以用取大小的符号
9=min{7,5}+4
还有其他解法吧~