A circle of radius 1 rolls around a circle of radius 2. Initially, the tangent point is colored red. Afterwards, the red points map from one circle to another by contact. How many red points will be on the bigger circle when the center of the smaller one has made n circuits around the bigger one? floor functiongeometry unsolvedgeometry