有7个符号的离散信源进行二元定长编码，为了保证唯一可译性，码长应不小于（）