ERA upper bound works