При делении на ноль возникает ZeroDivisionError, который перехватывается в except. Блок else пропускается, но finally выполняется всегда. Код работает корректно.