Ulam's packing conjecture