Szpiro conjecture