發送短信 : A lower bound on the probability of undetected error for binary constant weight codes

  _  __     ___               __   __    _____   
 | |/ //   / _ \\      ___    \ \\/ //  /  ___|| 
 | ' //   | / \ ||    /   ||   \ ` //  | // __   
 | . \\   | \_/ ||   | [] ||    | ||   | \\_\ || 
 |_|\_\\   \___//     \__ ||    |_||    \____//  
 `-` --`   `---`       -|_||    `-`'     `---`   
                        `-`