Hua's inequality

GPTKB entity