求助圈起来的那一步看不懂

■1）∀x>-b有：(x+b)ˣ⁻ᵃ≥1
=>2）(∀x)+b>0有：(x+b)ˣ⁻ᵃ≥1.
=>3）(∀x)+b>1有：(x+b)ˣ⁻ᵃ≥1.
=>4）(∀x)+b>1有：x-a≥0.
=>5）∀x>1-b有：x≥a.
.
6）请求题主·回应：以上是否已懂？
7.1）下面将由第5证a≤1-b.
□.2）用的是【反证法】.

1） ∀t>w有t≥j：证w≥j】子集】集合 https://tieba.baidu.com/p/9301973957止

兄弟解决没有，我感觉这一点想明白了对不等式的理解会更上一层楼