There is constraint N<=1000

#1

n can be negative?? i know it is not possible in pattern , but
constraint say

#2

obviously it won’t be negative