TSTST 2026 Problem 8

Let $A$ be a finite set of positive real numbers. Define $a_k$ to be the number of distinct positive real numbers that can be expressed as a sum of at most $k$ not necessarily distinct elements of $A$. Prove that $2025a_{2026} \geq 2026a_{2025}$.