采用汉明码纠正一位差错，设信息位为K位，冗余位为r位，则K和r之间的关系应满足不等式（　）。