If `int(sqrt(cot x)-sqrt(tan x))/(sqrt(2)(cos x+sin x)))dx=phi(x),x in(0,(pi)/(2))` and `phi((pi)/(4))=(pi)/(2)` and maximum value of `phi(x)` is `lambda` then `[5 lambda]` equals `(.]` GIF `)`