Решение 

`>=`(sqrt(`+`(`*`(2, `*`(a)))), 100) 

`>=`(`+`(`*`(2, `*`(a))), 10000) 

`>=`(a, 5000)