As I stated, n and es don't actually depend on each other---that was my mistake. So we should let our viz range over:
2 <= n <= 10
0 <= es <= 10 (note that the upper range on es is NOT limited by the upper limit of n; es can be bigger than n)
(10 is arbitrary, and is frankly probably too big -- 8 is fine too)
As I stated, n and es don't actually depend on each other---that was my mistake. So we should let our viz range over: 2 <= n <= 10 0 <= es <= 10 (note that the upper range on es is NOT limited by the upper limit of n; es can be bigger than n)
(10 is arbitrary, and is frankly probably too big -- 8 is fine too)