supremum of 0