How do you know these bounds exist?