There's also a ceiling around the integral (⌈...⌉), so it evaluates to 2013