An inequality inspired by Haruki’s Lemma