integrate (5-x)dx from x=5/sqrt(2) to 5