A. Ya. Khinchin proved
that if Φ and Ψ are characteristic functions and Φ(t) = t−1∫0tΨ(u)du, then the
distribution function of Φ is convex on (−∞,0) and concave on (0,+∞). A similar
theorem is proved here for logarithms of infinitely divisible characteristic functions
and their Lévy spectral functions.