分からない問題はここに書いてね 472

R^2 ∋ (x, y) → (x * cos(y), x * sin(y)) ∈ R^2 はリプシッツ連続であることを示せ。