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.