« first day (1233 days earlier)      last day (951 days later) » 

3:09 PM
@user21820 I am trying to use my logical intuition, but I can't figure out why strong induction is true.
 
 
4 hours later…
6:59 PM
@F.Zer Did you try small cases?
@F.Zer: If you really cannot get it, then look at what I told you when you had the same problem earlier.
 

« first day (1233 days earlier)      last day (951 days later) »