Atmospheric lepton fluxes at ultrahigh energies