Monotonicity of Partition Entropy Under Refinement