We prove that the power series expansion of the rational function of Gillis, Reznick and Zeilberger (1983) has only nonnegative coefficients.
生成讲解博客的中文版本
生成AI智能校验的中文版本