请教一下什么是永真循环，有一句是while(1)的条件，不知道是什么意思。

这是我做的一道题里的， 它的答案是：
jaValue()
{int a1=1,a2=2,a12,sn,k=2;
sn=a1+a2;
while(1)
{a12=a1+3*a2-2;
if(sn<100&&sn+a12>=100) b[0]=k;
if(sn<1000&&sn+a12>=1000) b[1]=k;
if(sn<10000&&sn+a12>=10000) {b[2]=k;break;}
sn=sn+a12;
a1=a2;a2=a12;
k++;
}
}


它的题目要求是：已知某级前两项A1=1,A2=2,以后各项具有如下关系：
An=An-2+3An-1(n-2,n-1都为下标)
要求一次对于整数M=100,1000,10000分别求出对应的n值，使其满足：Sn<M且Sn+1>>M,这里的Sn=A1+A2+...+An,并一次把值存入数组单元b[0],b[1],b[2]中。。
对于公式的推导部分不理解。。