| 4*3x | 4x | |||
⇔ | ≤ 3x + | / * 12 | ||
| 3 | 4 |
| 3 | 3 | |||
⇔ 16*3x ≤ 12*3x + 3*4x ⇔ 4*3x ≤ 3*4x ⇔ ( | )x ≤ ( | )1 ⇔ x ≥ 1 | ||
| 4 | 4 |
| 1 | 1 | |||
4* | *3x ≤ 3x + | *4x | ||
| 3 | 4 |
| 4 | 1 | ||
*3x ≤ 3x + | *4x / : 3x | ||
| 3 | 4 |
| 4 | 1 | 4 | |||
≤ 1 + | *( | )x / * 12 | |||
| 3 | 4 | 3 |
| 4 | ||
16 ≤ 12 + 3*( | )x | |
| 3 |
| 4 | ||
4 ≤ 3*( | )x / : 3 | |
| 3 |
| 4 | 4 | ||
≤ ( | )x | ||
| 3 | 3 |
| 4 | 4 | |||
( | )x ≥ ( | )1 | ||
| 3 | 3 |