Hammersley–Chapman–Robbins bound