#include <stdio.h>

int main() {
int a = 3;  

while (a <= 10000) {
a = 2 * a - 1;
}

printf("初めて10000を超えるときの値は   %d\n", a);

return 0;
}