整数の問題（５）

今回は約数に関する問題です。

ａを合成数ｎの１でない最小の約数であるとする。
ａ≦ｎ＾（１／２）を示せ。

自分は背理法で証明しました。