#logarithmical proof that the result from # x € (0,1) # x*log2(x) + (1-x)*log2(1-x) # will always be >= -1