in seperator sum vi <= inf