Example 2

Wednesday, 20 March 2019

11:24 AM

Let  be a real number, . Then for all integers  we have

 

Proof

Let  and let  be the predicate