display | more...
Sorry mate, but they could just type alias pico='pico', and they would be rid of your hard security. By the way, chmod'ing the ~/.profile is kind of weird.

In addition, why didn't you put it in /etc/profile? It would have a remarkably similar effect.