Giả thuyết Hayman cho thấy rằng giá trị bỏ được Picard hữu hạn của f1fn chỉ có thể là 0. Sử dụng các kỹ thuật trong lý thuyết Nevaniinna đã chứng minh được rằng nếu với một hàm phân hình siêu việt f trong một trường đóng đại số, đầy đủ với một giá trị tuyệt đối không Acsimet K và cho k thuộc N*, thì hàm (fn) mũ k nhận mỗi giá trị b thuộc K, b khác 0 vô hạn lần nếu n lớn hơn hoặc bằng 4. Kết quả này là tổng quát kết quả của Ojeda cho đa thức vi phân trong trường hợp đạo hàm cấp cao.The Hayman hypothesis suggests that the value of f1fn's finite Picard can only be zero. Using techniques in Nevaniinna theory has proved that if with a transcendental shaping function f in an algebra closed field , fully with an absolute value of no Simsimet K and for k of N *, then the function (fn) caps k receives each value b of K, b other than 0 infinitely times if n is greater than or equal to 4. Result This is an overview of Ojeda's results for differential polynomials in the case of high-level derivatives.