Buy-price English auction

Consider an English auction for a single object in which there is an option for a bidder to guarantee a purchase at a seller-specified buy price b   at any time. We show that there exist v˜ and v^ (⩾v˜), such that a bidder purchases at the buy price immediately if his valuation vv is no less than v^ or v˜⩽v