Analytical bounds for Treasury bond futures prices