farey序列和hurwitz定理