Trong không gian Oxyz, tập hợp các điểm M(a;b;c) thỏa mãn bất phương

Câu hỏi :

Trong không gian Oxyz, tập hợp các điểm M(a;b;c) thỏa mãn bất phương trình ${\left(a-\sin \phi \right)}^2+{\left(b-\cos \phi \right)}^2+c^2\le \frac{1}{4}$ là một khối tròn xoay có thể tích bằng