Analytical pricing of American Put options on a Zero Coupon Bond in the Heath–Jarrow–Morton model