x++*n
(x+1)*n < n+1 // вы скобки забыли
++x * n < n + 1
Предикат в программировании — выражение, использующее одну или более величину с результатом булева типа.
bool - type, capable of holding one of the two values: true or false.
Зачем этот знак?
1) Returns true if lhs is less than rhs, false otherwise.