本質的上限と本質的下限
inf f ≤ lim inf f ≤ ess inf f ≤ ess sup f ≤ lim sup f ≤ sup f
ess sup (fg) ≤ (ess sup f)(ess sup g)(但し右辺の2つの項がいずれも非負であるとき)