Proof of the quantum bound on specific entropy for free fields.