Interesting real integral