题解

#include<stdio.h>

int main(){
    int k,sum=0,n=1;
    scanf("%d",&k);
    while(n<=k){
        sum+=n;
        n*=2;
    }
    printf("%d",sum);
    return 0;
}