>>417
(a)
間違ってない
ただ等号が成立しない雑な不等式を用いてるから最後の結論もいい加減になっただけ
ab>3sqrt3 を満たすとは言ってるけどそのすべての範囲を取りうるとは言っていない

(b)
条件 ab>=1 を加えればいい