https://definitionhjo.blogspot.com/2023/05/linear-inequality-in-one-variable.html