Binets Formula for the Tetranacci Sequence