Definition of variation, bounded variation, examples