Ehrenfest paradox: the circumference of a relativistic rotating disk is <2πr | Not Hacker News!