maximize ab, a^2+b^2=1, a>0, b>0