a+4/aの最小値を求めよって問題なら相加相乗平均でいいだろうけど、証明しろって問題で使うのはどうかと思うよ？