But the center of mass energy for a GZK proton colliding with a proton in the air is something like 100 TeV - 1 PeV. So still quite a bit higher than the LHC, but not by a factor of 10^7.