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

int main(){
    int r;
    float pie=3.141592,ans;
    char token[5000]={};
    fgets(token, sizeof(token), stdin);r=atoi(token);
    ans=2*pie*r;
    printf("%f",ans);
    return 0;
}

