Gilbert–Varshamov bound (source code)

= Gilbert–Varshamov bound
{wiki=Gilbert–Varshamov_bound}