Gilbert–Shannon–Varshamov bound