epsilon criterion for infimum