Essential supremum


essential supremum is a function.