Peierls–Bogoliubov inequality