{+infty} is bounded_below