#include <stdio.h>
int main()
{
int a=3; //初めて10000を超えるまで進める
while(a<=10000)
{
a=2*a-1;
}
//この時点でaは初めて10000を超えるまで進める
//a_{n+1}をそのまま1行で計算して出す
printf("そのときのa_{n+1}=%d\n",2*a-1);
return 0;
}