Maximize[(x Sqrt[16 - x^2])/2, {x}]