brk: check the lower bound properly