数列a[n]を
a[n+1]=10*a[n]+3、a[1]=8
で定義します。この時、集合
{4*a[n]-1| nは自然数}
に素数は無数に含まれますか?