“…In order to implement this line of reasoning we need therefore to construct, for each s ∈ [k, k + 1], a trace-class operator L s on a Hilbert space H such that e P (A 1 ,...,A N ;s) is an eigenvalue of L s and is equal to the spectral radius of L s , such that L s is trace-class, such that the sequence of approximation numbers of L s decays rapidly to zero, and such that the sequence of traces tr L n s is easy to compute. Once such a family of operators has been constructed the result follows by relatively straightforward manipulations which, while they do not correspond precisely to any prior work, share a degree of familial resemblance with calculations occurring in numerous earlier articles such as [3,32,33,34,35,36,37,40,52,53,54,55,56,57].…”