クラフトの不等式は 「長さ 1, 2, 3, 4 の 4個の符号語を持つ 2元符号」は 「1/2 + 1/4 + 1/8 + 1/16 = 15/16 ≦ 1」を満たすので、 「瞬時符号となるものが存在する」 また、 「長さ 1, 2, 3, 4 の 4個の符号語を持つ 2元符号」において、 「瞬時符号となるものが存在する」場合は、 「1/2 + 1/4 + 1/8 + 1/16 = 15/16 ≦ 1」が成り立つ という必要十分条件です。 具体的には、 「長さ 1, 2, 3, 4 の 4個の符号語を持つ 2元符号」の中には、 「a1=0,a2=10,a3=110,a4=1110」という「瞬時符号となるものが存在する」 ということで、 「長さ 1, 2, 3, 4 の 4個の符号語を持つ 2元符号」が クラフトの不等式「1/2 + 1/4 + 1/8 + 1/16 = 15/16 ≦ 1」を満たす場合でも、 任意に決めたすべての「長さ 1, 2, 3, 4 の 4個の符号語を持つ 2元符号」が 「瞬時符号となる」という訳ではないです。