Hoofdletters

Hoi,
Bestaat er een optie waar de hoofdletters automatisch naar kleine letters worden
gezet in PHP? Want nu had ik een script dat ongeveer zo gaat:

<?php
if($_POST['user'] == $user) { echo 'Error'; }else{ // de rest }
?>

$user is bijvoorbeeld gelijk aan "Jan", maar als de geposte user gelijk is
aan "jan", krijg ik geen error te zien, dat is dus wel mijn bedoeling.

Ik denk dat ik het kan oplossen door een bepaalde php functie,
zoals (dit is maar een voorbeeld) :
<?php
if(kleine_letters($_POST['user']) == kleine_letters($user)) { echo 'Error'; } ...
?>

Dus die kleine_letters functie, daar ben ik naar op zoek.

Sorry als dit een verwarrende uitleg is :)

Bvd
Ricolo