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