1.a + b > a，推导：
左边a + b，可以分解为a + (b - b)，由于加法法则可以知道a + b > a。
2.a - b < a，推导：
左边a - b，可以分解为a - (b + b)，由于减法法则可以知道a - b < a。
3.a × b > a，推导：
左边a × b，可以分解为a × (b - 1 + 1)，由于乘法法则可以知道a × b > a。
4.a ÷ b < a，推导：
左边a ÷ b，可以分解为a ÷ (b + 1 - 1)，由于除法法则可以知道a ÷ b < a。
