Source: https://www.math.uci.edu/~chenlong/226/infsup.pdf