A mathematical inequality related to theH theorem based on coarse graining