それはわかってますよ
その意味で考えると

H<H

も矛盾ではないと思うのですが、安達さんはこの不等式が気に入らないようです
自分のおっしゃったことがわかっていないのではないかと疑ってしまいますね