Essential supremum and supremum of summable functions. (December 2019)