a^2-8b>=0
4b^2-4a>=0
a^2-8b>=0
b^2-a>=0
a^4>=64b^2>=64a
a^3>=64
a>=4
b^2>=a=4
b>=2
a+b>=2+4=6