Thread: Inequalitie

Let and a natural divisor B such that .If , so proof that

Just note that and so: then (*)

But we must have (**) because:

1.
2.

Suppose it was , then we would have a contradiction - unless or , but this doesn't happen since and -, thus (**) holds and we are done by (*).