Geek alert:
Distance travelled by a 700c x23 wheel in one rev = diameter x pi = approx 720 x 3.142 = 2.26 metres per rev
Max speed = 32 mph (51kph)
= 51/60 kpm = 0.85 ie 850 metres per minute
The diameter of the wheel and tyre is a constant so 850/2.26 = 376 revs of the wheel to travel 850 metres or 1000/2.26 = 442 revs of the wheel to travel 1km
sprockets and chainrings allow us to "gear up" our pedal revs to wheel revs so 52 x 12 has a factor of 4.33 ie 4.33 wheel revs per pedal rev. Our 39 x 25 climbing gear produces a 1.56 wheel rev per pedal rev.
So at Sean's max speed of 51 kph, (850mpm) his wheel is turning at 376rpm. If his max rpm at the crank is 167 this suggests a gear ratio of 376/167 = 2.25
Assuming a standard set up he is riding on 52 x 23 (52/2.25 = 23 approx), or 39 x17
If a compact 50/34 then he's on either 50 x 22 or 34 x 15
On a 52 x 12 at 167 rpm you are moving 167 x 4.33 x 2.26 = 1634 metres per minute, ie 98 kph or 61 mph.
So we can deduce that with all that fancy kit, wide flat roads and a tailwind the boy still hasn't figured out his gears.
Best ditch the Di2 me old son and get a fixie