double entendre vs pun

double entendre

noun
  • A phrase that has two meanings, especially where one is innocent and literal, the other risqué, bawdy, or ironic; an innuendo. 

pun

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. 

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. 

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