#include<stdio.h>
int main()
{
int n=0; //n=0
int a=3; //a(0)=3
do
{
a=2*a-1;
n=n+1; //次のループの準備
}
while(a>10000);
printf("a(10000)=%d",a);
return 0;
}