finalmente l'ho provato, mi viene una frequenza di 3,92khz
una curiosità, il pezzo di programma che hai fatto tu equivale a scrivere TCCR3B = (TCCR3B & 0xF8) | 0x02 ; che è quello che fanno anche qui: SobiSource.com is for sale | HugeDomains no? si cambia solo il prescaler?