Verifying Fairness Properties via Concentration