View source for Essential supremum and essential infimum