Abstract
Girardeau has shown that an exact analytical formula may be given for the ground‐state wave‐function of a system of one‐dimensional impenetrable bosons. Starting with this formula, we give a mathematically rigorous analysis leading to the determination of major features of the momentum distribution in the limit of an infinitely large system.