4=log2 a×log2 b≤[(log2 a+log2 b)/2]^2=(log2 √ab)^2
又a>1,b>1
∴log2 √ab≥2
∴√ab≥4
∴ab≥16
当且仅当a=b=4时取"="