Count and filtering in KQL

Hello folks,

I want the query in a Lens metric visual as below:
count of A where b >= 9 / (count fo A) * 100

please help.
Thanks

Hi @HermannSamimi

have you tried a Lens formula as count(A, kql="b >= 9") / count(A) * 100?