banter vs pun

banter

verb
  • To delude or trick; to play a prank upon. 

  • To challenge to a match. 

  • To haggle; cheapen the price. 

  • To engage in banter or playful conversation. 

  • To play or do something amusing. 

  • To tease (someone) mildly. 

  • To joke about; to ridicule (a trait, habit, etc.). 

noun
  • Sharp, good-humoured, playful, typically spontaneous conversation. 

pun

verb
  • To make or tell a pun; to make a play on words. 

  • To beat; strike with force; to ram; to pound, as in a mortar; reduce to powder, to pulverize. 

noun
  • A joke or type of wordplay in which similar definitions or sounds of two words or phrases, or different definitions of the same word, are deliberately confused. 

How often have the words banter and pun occurred in a corpus of books? (source: Google Ngram Viewer )