Wysokość graniastosłupa prawidłowego trójkątnego \(ABCDEF\) (zobacz rysunek) jest równa \(8\), a tangens kąta między wysokością trójkąta \(ABF\) poprowadzoną z wierzchołka \(F\) i płaszczyzną podstawy \(ABC\) tego graniastosłupa jest równy \(\frac{4\sqrt{3}}{3}\). Oblicz pole trójkąta \(ABF\).