{-infty} is bounded_above