Respecting the limit:Bayesian optimization with a bound on the optimal value