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