Remove approximation of lower bounds for hw loops