Acho que o que o Dirichlet quer é que se prove isso:Existe um numero real "a" e uma sequência (f(n)) com a seguinte propriedade:f(0) = a;f(n+1)=2^f(n) para n >= 0;[f(m)] é primo para m >= 0,onde [x] = maior inteiro que é menor ou igual que x.[]s,Claudio.
TRANSIRE SVVM PECTVS MVNDOQVE POTIRI
CONGREGATI EX TOTO ORBE MATHEMATICI OB SCRIPTA INSIGNIA TRIBVERE
Fields Medal(John Charles Fields)