#include <bits/stdc++.h>
using namespace std;

const long double DPI = 6.28318530717958623200;
long double r;

int main() {
	ios::sync_with_stdio(0);
	cin.tie(0);
	cin >> r;
	cout << PI * r << endl;
	return 0;
}
