m([2,5] \cap Q) \cdot \sqrt2 + \int _2^5 x^3 dx