WolframAlpha computational knowledge AI
sum(floor((n+1)/2) / 2