Trong tập hợp các số phức, gọi z1; z2 là nghiệm của phương trình z2-z+20174=0, với z2 có thành phần ảo dương. Cho số phức z thoả mãn z-z1=1. Giá trị nhỏ nhất của P =z-z2 là