Herglotz Representation Theorem