Definitions: (1) lively playfulness; merriment; amusement; sport; recreation; joking frivolity; (2) a source or cause of enjoyable distraction <as an amusing person or thing>
Comment: You might tease a friend with a bit of banter, but there is not ‘fun’ in making fun of someone.
Quote: Make space in your life for the things that matter, for family and friends, love and generosity, fun and joy. — Rabbi Lord Jonathan Henry Sacks(1948-2020) British philosopher & theologian