#include <stdio.h>
#include <stdlib.h>

int main(int argc, char** argv){
    double pi = 3.14159265;
    int r;
    if(scanf("%d", &r)==0){perror("scanf"); exit(1);}
    printf("%f\n",r*pi);
    return 0;