But, if you're researching, it's trivial. You send out a bunch of CVs / resumés that are identical apart from age. You then compare the return rates.
If it's incredibly trivial to prove, I'd be surprised if it hadn't. (I'd be equally surprised if it had been attempted and shown no age discrimination--it'd push against my priors, but I'd try to keep an open mind.)
In reality, I suspect it's much harder than you suggest to prove, and even harder to litigate on.
Most companies would rather bet on a young 6 than an old 8, because they overestimate their ability to mold the 6 into a 9 (which is actually very hard to do).
That's why establishing age discrimination is impossible. You'd have to generate identically indicative/"qualified" resumes at very different ages, which is probably impossible to do.