add lower bound remark
add stewart
refer to greenberg