Griesmer限界
任意の$ [n,k,d]_q 符号は以下の不等式を満たす
$ n \geq g_{q}(k, d):=\sum_{i=0}^{k-1}\left\lceil\frac{d}{q^{i}}\right\rceil
等号が成り立つもの場合にGriesmer符号と言う
つまり$ n=g_q(k,d)