given that tan 4pi/7 =