An operator inequality associated with the operator concavity of operator entropy A log A[pot.-1] - Furuta, Takayuki (Array, 2003)