Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics