Iteratively found constant for TSM bei f3. Now to prove it's right...