Abstract
For a dilute system of non-relativistic bosons interacting through a positive, compactly supported, L1-potential v with scattering length a we prove that the ground state energy density satisfies the bound e(ρ)≥4πaρ2(1+12815√π√ρa3+o(√ρa3)), thereby proving the Lee-Huang-Yang formula for the energy density.