Let p be an odd prime p such that 2h=1(modp) for all h∈N with h<p−1, and let a be an even integer with a∈]2p,p[. The sequence {an}n≥0 is defined by a0=a, an+1=p−bn \; (n≥0), where bn is the greatest odd divisor of an. Show that the sequence {an}n≥0 is periodic and find its minimal (positive) period. modular arithmeticfunctioninequalitiesfloor functionRecursive Sequences