Update Shannon's function with a more succinct version