You're right that it's probably still detectable. But IEEE considers ~3+ kHz as "no risk." My interpretation is that it could be annoying but unlikely to cause an accident, etc.
Some of the really good LED dimming solutions I've seen that employ PWM are in the 30+ kHz range.
Of course, constant current dimming is the best, but it tends to be expensive.