We prove some Hardy-type inequalities via an approach that involves constructing
auxiliary sequences.