I know that it doesn’t guarantee since this is just a optimization subject to constraint but I’m fine with it.
Again, the loop isn’t very promising as dimension is so high
As for example for better clarification:  NN( input = [x1,x2,x3,x4,x5,z] ) = [y1,y2,y3,y4,y5,y6,y7]
I want make NN( input = [x1,x2,x3,x4,x5,z+epsilon] ) [i] >= NN( input = [x1,x2,x3,x4,x5,z] ) [i]  for all i and all epsilon > 0