a_r ≧ 1
がどこから出てきたのかがわからないのです…