Zkusil bych to nějak takhle:
|an| >= |n|*|d|-|a| |a + n*d| >= |n|*|d|-|a| |n * (a/n + d)| >= |n| * (|d|-(|a|/|n|)) |n| * |a/n + d| >= |n| * (|d|-(|a|/|n|)) |a/n + d| >= |d|-(|a|/|n|) |d| + |a/n| >= |a/n + d| >= |d| - |a|/|n|
Doufam, že se tam nevloudila nějaká chyba...
Offline