Goodman's Conjecture is a statement about analytic multi-valued functions. According to the conjecture, if f(z) is a p-valent function with power series f(z) = b₁z¹ + b₂z² + ···, then the coefficients obey the inequality |bₙ| ≤ Σ [2k(n+p)!|bₖ|]/[(p-k)!(p+k)!(n-p-1)!(n²-k²)], where the sum ranges from k=1 to p.