不等式
x + 1 > 1(この場合、x が 0 より大きいという条件が示される)