Andrews' smallest-parts moment inequality
Andrews' smallest-parts moment inequality. For kkk even, k≥2k\geq2k≥2, and n≥1n\geq1n≥1,