In a sample exam for a course in ordinary differential equations I encountered the following problem:
Prove that the origin is an asymptotically stable equilibrium point of the system x'=-y^3-(3/2)x-(1/6)x^3 y'=-(1/2)y^8
The linearization has eigenvalue 0, so I assume that the main part of the problem is finding a Lyapunov function. I have tried, without success, the simplest forms, like E=ax^2+by^2, and am now stuck... Help would be much appreciated!

