typed bound for 2nd error term