Schau einfach mal ins Handbuch zu Timer1/Modes of Operation/CTC-Mode. Da ist auch eine Formel.