No, most probably not.
Many HSC inequality questions are themselves proofs for AM/GM in 3 terms, or similar, so assuming the result would make those questions trivial.
edit: when i finish my uni assignment tomorrow, ill post up some inequality stuff for people, like general proofs of AM/GM etc