Hamming and Gilbert–Varshamov Bounds