symbolic-computation code snippets in matlab

prove that symbolic equation is always greater than 0 in matlab