Monotonicity of Entropy under Finite Refinement