Gilbert-Varshamov bound