lub for intervals