Imagine you are given a mysterious black box. You cannot see inside it, but you are allowed to ask for specific "moments." You ask: "What is the average position?" The box replies: $m_1 = 0$. You ask: "What is the average squared position?" It replies: $m_2 = 1$. You continue: $m_3 = 0$, $m_4 = 3$, and so on.
for all finite sequences $(a_0,\dots,a_N)$. This means the infinite $H = (m_i+j)_i,j=0^\infty$ must be positive semidefinite (all its finite leading principal minors are $\ge 0$). Imagine you are given a mysterious black box
For the Hamburger problem, this condition is also sufficient (a theorem of Hamburger, 1920): A sequence $(m_n)$ is a Hamburger moment sequence if and only if the Hankel matrix is positive semidefinite. $m_4 = 3$