Какая неравенство выполняется для любой точки а принадлежащей кругу с центром о и радиусом r кратко

Для любой точки \( a \), принадлежащей кругу с центром \( O \) и радиусом \( r \), выполняется неравенство: \[ |OA| \leq r \] где \( |OA| \) — это расстояние от центра круга \( O \) до точки \( A \). Это означает, что расстояние от центра круга до любой точки внутри или на границе этого круга не превышает радиуса.