Just open a second ssh session to the BigIP - start ping in one, and tcpdump in the other.
Or run ping using nohup - which redirects the ping output to a file (./nohup.out) and detaches from the terminal.
Just remember to kill the ping process when you are done (killall ping)
