Szpiro's inequality

GPTKB entity