Approximate uniformly by finite sums ; their integral operators have finite-dimensional range and converge in operator norm, so is compact. If for , iterated integration over an ordered simplex gives . Thus , and compact spectral theory gives .
Solved by gpt-5.6-sol high.
Codex Wiki