#include <stdio.h>
int main(void) {
int a = 3; // a₀の初期値
int n = 0;
while (a <= 10000) {
a = 2 * a - 1;
n++;
}
printf("初めて10000を超えるときのa[%d] = %d\n", n
, a
);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CiAgICBpbnQgYSA9IDM7ICAvLyBh4oKA44Gu5Yid5pyf5YCkCiAgICBpbnQgbiA9IDA7CgogICAgd2hpbGUgKGEgPD0gMTAwMDApIHsKICAgICAgICBhID0gMiAqIGEgLSAxOwogICAgICAgIG4rKzsKICAgIH0KCiAgICBwcmludGYoIuWIneOCgeOBpjEwMDAw44KS6LaF44GI44KL44Go44GN44GuYVslZF0gPSAlZFxuIiwgbiwgYSk7CgogICAgcmV0dXJuIDA7Cn0KCg==