Gilbert%E2%80%93Varshamov bound