>>986

まず、 a < α であることを示す必要があるように思います。